Theorem Metric.thickening_subset_cthickening

Modification history