Skip to content

gmap_view: add some missing validity lemmas

Ralf Jung requested to merge ralf/gmap-view-valid into master

While working on !562 (merged) I noticed that some lemmas were missing here.

Merge request reports