Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
fin_maps.v
Find file
Blame
History
Permalink
Fix by
@mattam82
for
https://github.com/coq/coq/pull/13952#issuecomment-804943880
· c1266011
Robbert Krebbers
authored
Mar 23, 2021
c1266011