Theorem Metric.closedBall_subset_cthickening_singleton

Modification history