Theorem ContinuousMap.compactOpen_eq_iInf_induced

Modification history