Add _1, _2 lemmas for map_empty_filter
Passed
Michael Sammler
created pipeline for commit
5a5578b4
, finished
Related merge request !394 to merge ci/msammler/_1_2_lemmas
2 minutes 59 seconds, queued for 1 seconds