Theorem Real.diam_Icc

Modification history