Lemma for `x ∈ _ ⊎ _` on multisets.

8 jobs for master in 7 minutes and 20 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #24748
fp
build-coq.8.7.0

00:02:48

passed #24747
fp
build-coq.8.7.1

00:02:56

passed #24746
fp
build-coq.8.7.2

00:02:55

passed #24745
fp-timing
build-coq.8.8.0

00:02:49

passed #24744
fp
build-coq.8.8.1

00:03:05

passed #24743
fp
build-coq.8.8.2

00:02:57

passed #24742
fp-timing
build-coq.8.9.0

00:03:16

passed #24741
fp
build-coq.dev

00:04:27