Theorem Real.diam_Ioc

Modification history