Theorem Real.diam_Ico

Modification history