Skip to content
GitLab

gmap_view: add deletion lemma

Merged Ralf Jung requested to merge ralf/gmap_view_delete into master

This is needed in Perennial to port one of their abstractions to gmap_view.

Edited by Ralf Jung