Theorem TopologicalSpace.isTopologicalBasis_of_isOpen_of_nhds

Modification history