Skip to content

Add some _1, _2 lemmas for map_filter

Michael Sammler requested to merge ci/msammler/_1_2_lemmas into master

As discussed with @robbertkrebbers

Edited by Ralf Jung

Merge request reports