Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Lennard Gäher
Iris
Repository
iris
theories
algebra
cmra.v
Find file
Blame
History
Permalink
show that pair cosntruction commutes with taking the core
· c2d34fe3
Ralf Jung
authored
Jul 07, 2019
c2d34fe3
Ralf Jung authoredc2d34fe3