Theorem ContinuousMap.nhds_compactOpen_eq_sInf_nhds_induced

Modification history