Commit 96ef0cd6 authored 2 months ago by Robbert Krebbers

Merge branch 'ci/msammler/_1_2_lemmas' into 'master'

Add some _1, _2 lemmas for map_filter

See merge request !394

No related branches found

No related tags found

Checking pipeline status