Theorem TopologicalSpace.IsOpenCover.exists_finite_clopen_cover

Modification history