Theorem Metric.diam_ball

Modification history