Theorem EMetric.diam_eq_supₛ

Modification history