Theorem singletons_open_iff_discrete

Modification history