Add lemmas `map_intersection_filter` and `map_difference_filter`.
Related merge request !282 to merge robbert/intersection_difference_filter
merge request
2 jobs
11 minutes 18 seconds, queued for 1,105 seconds