Theorem Metric.diam_singleton

Modification history