Theorem TopologicalSpace.Opens.isBasis_iff_cover

Modification history