Theorem Metric.mem_thickening_iff

Modification history