Theorem Metric.thickening_eq_bUnion_ball

Modification history