Theorem Metric.thickening_subset_interior_cthickening

Modification history