Theorem EMetric.hausdorffEdist_le_ediam

Modification history