Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
algebra
gmap.v
Find file
Blame
History
Permalink
More properties about Some _ ≼ Some _.
· 45954c6f
Robbert Krebbers
authored
Oct 06, 2016
These are very useful when dealing with the authoritative CMRA.
45954c6f