Theorem EMetric.diam_empty

Modification history