Theorem Metric.closedBall_zero

Modification history