Add lemmas `map_intersection_filter` and `map_difference_filter`.

2 jobs for !282 with robbert/intersection_difference_filter in 11 minutes and 18 seconds (queued for 18 minutes and 25 seconds)
latest merge request