Theorem TopologicalSpace.IsTopologicalBasis.open_eq_unionᵢ

Modification history