Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
theories
fin_maps.v
Find file
Blame
History
Permalink
Prove `map_fmap_empty_inv`.
· bd4a6a84
Robbert Krebbers
authored
Mar 06, 2018
bd4a6a84