Theorem Metric.cthickening_mono

Modification history