Theorem Metric.hausdorffDist_nonneg

Modification history