Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
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