Theorem IsTopologicalBasis.iInf_induced

Modification history