Theorem isOpen_singleton_iff_nhds_eq_pure

Modification history