Theorem Metric.ball_eq_ball

Modification history