Theorem Metric.diam_mono

Modification history