Some properties of `list_to_set_disj`.

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

00:02:45

passed build-coq.8.7.1 #25018
fp

00:02:49

passed build-coq.8.7.2 #25017
fp

00:02:47

passed build-coq.8.8.0 #25016
fp-timing

00:02:41

passed build-coq.8.8.1 #25015
fp

00:03:04

passed build-coq.8.8.2 #25014
fp

00:02:55

passed build-coq.8.9.0 #25013
fp-timing

00:03:15

passed build-coq.dev #25012
fp

00:04:53