Theorem Metric.cthickening_eq_iInter_thickening

Modification history