Theorem Metric.thickening_cthickening_subset

Modification history