Theorem EMetric.exists_edist_lt_of_hausdorffEdist_lt

Modification history