Theorem Metric.cthickening_thickening_subset

Modification history