Theorem Metric.lipschitz_infNndist_pt

Modification history