Theorem Metric.cthickening_subset_of_subset

Modification history