Theorem Metric.infDist_pos_iff_not_mem_closure

Modification history