Theorem Metric.closure_subset_thickening

Modification history