Merge branch 'ralf/difference_union' into 'master'

add lemma about chained difference

See merge request robbertkrebbers/coq-stdpp!36
7 jobs for master in 7 minutes and 25 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #14484
fp
build-coq.8.6.0

00:02:56

passed #14483
fp
build-coq.8.6.1

00:02:49

passed #14482
fp
build-coq.8.7.0

00:02:44

passed #14481
fp
build-coq.8.7.1

00:02:54

passed #14480
fp-timing
build-coq.8.7.2

00:02:55

passed #14479
fp
build-coq.8.8.0

00:02:51

passed #14478
fp
build-coq.dev

00:04:23