Theorem Metric.thickening_closure

Modification history