Theorem Metric.mem_closure_iff_infDist_zero

Modification history