Theorem Metric.sphere_zero

Modification history