Theorem strictConvex_iff_div

Modification history