Skip to content
GitLab

avoid relying on implicit instance generalization

Merged Ralf Jung requested to merge ralf/implicit-names into master

Fix in preparation for https://github.com/coq/coq/pull/13188