Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
algebra
auth.v
Find file
Blame
History
Permalink
Easier way to construct OFEs that are isomorphic to an existing OFE.
· 6d0aa4f2
Robbert Krebbers
authored
Feb 09, 2017
6d0aa4f2