Theorem Metric.thickening_subset_of_subset

Modification history