Theorem strictConvex_Ici

Modification history