Theorem EMetric.edist_le_diam_of_mem

Modification history