mathlib

3f164099 - feat(data/finset/*): Random lemmas (#10955)

feat(data/finset/*): Random lemmas (#10955) Prove some `compl` lemmas for `finset`, `(s.erase a).card + 1 = s.card` for `list`, `multiset`, `set`, copy over one more `generalized_boolean_algebra` lemma.