Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
fin_map_dom.v
Find file
Blame
History
Permalink
Add fin_map_dom lemmas for Leibniz equality.
· 60c8d501
Robbert Krebbers
authored
Jun 05, 2015
60c8d501