Theorem Metric.diam_triple

Modification history