Theorem ConcaveOn.slope_le_rightDeriv

Modification history