Theorem Topology.IsScott.ωScottContinuous_iff_continuous

Modification history