Theorem ConvexOn.rightDeriv_le_slope

Modification history