Theorem EMetric.infEdist_zero_of_mem

Modification history