Theorem TopologicalSpace.IsTopologicalBasis.eq_of_forall_subset_iff

Modification history