Theorem strictConvex_Ioi

Modification history