Theorem Metric.infDist_le_infDist_add_dist

Modification history