Theorem EMetric.diam_subsingleton

Modification history