Theorem strictConvex_Iic

Modification history