Theorem Metric.thickening_singleton

Modification history