Merge branch 'ralf/no-dup-fmap' into 'master'

prove NoDup_fmap_2_strong

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

00:05:04

passed #79921
fp-timing
build-coq.8.11.2

00:04:26

passed #79920
fp
build-coq.8.12.dev

00:10:57

passed #79924
fp
build-coq.8.8.2

00:04:06

passed #79923
fp
build-coq.8.9.1

00:04:51