Theorem discreteTopology_iff_isOpen_singleton_one

Modification history