Theorem Metric.ball_zero

Modification history