Theorem EMetric.diam_singleton

Modification history