Theorem Metric.ediam_le_of_forall_dist_le

Modification history