Theorem Metric.sphere_eq_empty_of_neg

Modification history