Theorem Metric.cthickening_max_zero

Modification history