Theorem discreteTopology_iff_open_singleton_one

Modification history