Theorem ConcaveOn.leftDeriv_le_slope

Modification history