Theorem StrictConvex.smul

Modification history