Theorem EMetric.diam_mono

Modification history