Skip to content

add gmap_view_alloc_big

Ralf Jung requested to merge ralf/gmap_view_alloc_big into master

A big-op allocation lemma for gmap_view. This will also be useful for !562 (merged).

Merge request reports