Theorem EMetric.diam_union

Modification history