Theorem EMetric.diam_pair

Modification history