Theorem EMetric.diam_insert

Modification history