Theorem isOpen_singleton_iff_punctured_nhds

Modification history