Theorem TopologicalSpace.IsTopologicalBasis.isOpen_iff

Modification history