Skip to content

gmap_view: add deletion lemma

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

Merge request reports