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 detached
Status Job ID Name Coverage
  Build
passed #131706
fp
build-coq.8.10.2

00:05:42

passed #131705
fp
build-coq.8.13.2-mr

00:05:36