Theorem Metric.thickening_union

Modification history