Adapt to Coq PR #18445, that fixes an issue with multiple signatures of implicit arguments for notations#137
Merged
jwiegley merged 1 commit intojwiegley:masterfrom herbelin:master+adapt-coq-pr18445-fix-applied-notations-multiple-implicitJan 9, 2024
+4-6
