Theorem EMetric.hausdorffEdist_le_of_infEdist

Modification history