Theorem Metric.ball_disjoint_ball

Modification history