Theorem Metric.self_subset_thickening

Modification history