Theorem Metric.infDist_closure

Modification history