Theorem Metric.diam_union

Modification history