Theorem EMetric.infEdist_closure_pos_iff_not_mem_closure

Modification history