Theorem discreteTopology_of_open_singleton_one

Modification history