Theorem EMetric.mem_iff_infEdist_zero_of_closed

Modification history