Theorem Metric.disjoint_closedBall_of_lt_infDist

Modification history