Theorem TopologicalSpace.le_generateFrom_iff_subset_isOpen

Modification history