Skip to content

Lemmas about "filter" on maps

Ralf Jung requested to merge ralf/map_filter into master

These are some lemmas from Perennial about "filter" on maps. Most are by me; map_filter_insert_not_delete is by @tchajed (original name: map_filter_insert_not_strong).

Edited by Ralf Jung

Merge request reports