Theorem EMetric.diam_closure

Modification history