Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Repository
stdpp
theories
mapset.v
Find file
Blame
History
Permalink
Revert "Make `mapset_elem_of` Opaque." This turned out not to work.
· 7e77bf8d
Robbert Krebbers
authored
Mar 15, 2019
This reverts commit
267cc708
.
7e77bf8d