Theorem discreteTopology_of_isOpen_singleton_one

Modification history