Theorem EMetric.le_infEdist

Modification history