Prove `m ∖ m = ∅` for finite maps.

7 jobs for master in 21 minutes and 28 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #11990
fp
build-coq.8.6.0

00:08:21

passed #11989
fp
build-coq.8.6.1

00:07:49

passed #11988
fp
build-coq.8.7.0

00:06:04

passed #11987
fp
build-coq.8.7.1

00:06:55

passed #11986
fp-timing
build-coq.8.7.2

00:06:01

passed #11985
fp
build-coq.8.8.0

00:06:57

passed #11984
fp
build-coq.dev

00:14:43