Theorem Metric.iUnion_ball_nat_succ

Modification history