Theorem Metric.dist_le_diam_of_mem'

Modification history