Theorem Metric.closure_thickening_subset_cthickening

Modification history