Theorem StrictConvexOn.slope_lt_leftDeriv

Modification history