Theorem Metric.ball_disjoint_closedBall

Modification history