Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
algebra
cmra.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