Theorem TopologicalSpace.IsOpenCover.exists_finite_nonempty_disjoint_clopen_cover

Modification history