Skip to content

Add some _1, _2 lemmas for map_filter

Michael Sammlerrequested to merge
ci/msammler/_1_2_lemmas into master

As discussed with @robbertkrebbers

Edited by Ralf Jung

Merge request reports