Merge branch 'more_imap' into 'master'

More lemmas about [map_imap].

See merge request !84
8 jobs for master in 9 minutes and 2 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #39174
fp
build-coq.8.10.dev

00:08:05

passed #39180
fp
build-coq.8.7.2

00:02:48

passed #39179
fp-timing
build-coq.8.8.0

00:02:41

passed #39178
fp
build-coq.8.8.1

00:02:56

passed #39177
fp
build-coq.8.8.2

00:03:07

passed #39176
fp-timing
build-coq.8.9.0

00:03:18

passed #39175
fp
build-coq.8.9.1

00:03:51

passed #39173
fp
build-coq.dev

00:09:00