Project 'robbertkrebbers/coq-stdpp' was moved to 'iris/stdpp'. Please update any links and bookmarks that may still have the old path.
Add filter for gmap
Compare changes
A filter for (M : gmap K A) creates a submap of M whose (key,value) pairs satisfy the filter predicate (P : K * A → Prop).