Skip to content
GitLab
Explore
Sign in
Matthieu Sozeau
stdpp
Repository
stdpp
theories
fin_maps.v
Find file
Blame
History
Permalink
Rename instance `finmap_lookup_total` → `map_lookup_total`.
· 7bb734bc
Robbert Krebbers
authored
Jan 20, 2021
7bb734bc