Theorem Metric.sphere_subset_closedBall

Modification history