Theorem StrictConvexOn.rightDeriv_lt_slope

Modification history