Merge branch 'master' into 'master'

Add `seq_set_pred_disjoint`

See merge request robbertkrebbers/coq-stdpp!29
7 jobs for master in 10 minutes and 4 seconds
Status Job ID Name Coverage
  Build
passed #10554
fp
build-coq.8.6.0

00:06:00

passed #10553
fp
build-coq.8.6.1

00:05:54

passed #10552
fp
build-coq.8.7.0

00:02:31

passed #10551
fp
build-coq.8.7.1

00:02:34

passed #10550
fp-timing
build-coq.8.7.2

00:02:42

passed #10549
fp
build-coq.8.8.dev

00:03:58

passed #10548
fp
build-coq.dev

00:03:59