Theorem EMetric.diam_unionᵢ_mem_option

Modification history