Theorem Metric.cthickening_eq_iInter_cthickening

Modification history