Theorem Metric.closure_eq_iInter_thickening

Modification history