Theorem TopologicalSpace.IsTopologicalBasis.inf_induced

Modification history