Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
algebra
cmra.v
Find file
Blame
History
Permalink
Another failed approach to avoid declaring other projections than the carrier as canonical.
· a9e2d8f3
Robbert Krebbers
authored
Feb 02, 2017
a9e2d8f3