Theorem Metric.ball_eq_ball'

Modification history