Theorem Metric.infDist_singleton

Modification history