Theorem Metric.ball_eq_empty

Modification history