Theorem StrictConcaveOn.leftDeriv_lt_slope

Modification history