Theorem discreteTopology_iff_nhds_ne

Modification history