Theorem Metric.le_infDist

Modification history