Skip to content
GitLab
Explore
Sign in
stdpp
theories
sets.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
