Theorem Metric.ball_union_sphere

Modification history