Theorem Metric.isOpen_singleton_iff

Modification history