Theorem TopologicalSpace.IsTopologicalBasis.exists_subset_of_mem_open

Modification history