Some properties of `list_to_set_disj`.

8 jobs for master in 7 minutes and 44 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #25019
fp
build-coq.8.7.0

00:02:45

passed #25018
fp
build-coq.8.7.1

00:02:49

passed #25017
fp
build-coq.8.7.2

00:02:47

passed #25016
fp-timing
build-coq.8.8.0

00:02:41

passed #25015
fp
build-coq.8.8.1

00:03:04

passed #25014
fp
build-coq.8.8.2

00:02:55

passed #25013
fp-timing
build-coq.8.9.0

00:03:15

passed #25012
fp
build-coq.dev

00:04:53