Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
base.v
Find file
Blame
History
Permalink
Avoid relying on implicit instance generalization, and name some instances.
· c8bb51b2
Robbert Krebbers
authored
Oct 15, 2020
Fix in preparation for
https://github.com/coq/coq/pull/13188
c8bb51b2