Theorem Metric.thickening_ball

Modification history