Skip to content

avoid relying on implicit instance generalization

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

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

Merge request reports