Theorem Metric.infDist_zero_of_mem_closure

Modification history