Merge branch 'robbert/dom_filter' into 'master'

Remove `map` infix in lemmas about `dom` and `filter`.

See merge request !176
5 jobs for master in 10 minutes and 57 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #80321
fp
build-coq.8.10.2

00:05:08

passed #80320
fp-timing
build-coq.8.11.2

00:04:09

passed #80319
fp
build-coq.8.12.dev

00:10:55

passed #80323
fp
build-coq.8.8.2

00:04:11

passed #80322
fp
build-coq.8.9.1

00:04:54