Theorem Metric.closedBall_subset_ball

Modification history