Theorem EMetric.edist_le_infEdist_add_ediam

Modification history