Theorem Metric.closedBall_eq_bInter_ball

Modification history