Theorem TopologicalSpace.IsTopologicalBasis.of_isOpen_of_subset

Modification history