Theorem Set.biUnion_empty_finset

Modification history

2025-10-14 22:19
Mathlib/Data/Set/Constructions.lean
feat(Topology/Algebra): discrete iff finite index subgroup discrete (#29743) …
Added Set.biUnion_empty_finsetView on Github →