Theorem Metric.cthickening_subset_thickening

Modification history