Theorem Metric.isClosed_cthickening

Modification history