Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
theories
algebra
gmap.v
Find file
Blame
History
Permalink
Added a new lemma to allocate fragmented ownership in unital gmaps while...
· ef74a78f
Jonas Kastberg Hinrichsen
authored
Jul 31, 2018
Added a new lemma to allocate fragmented ownership in unital gmaps while updating the full ownership
ef74a78f