Theorem StrictConcaveOn.slope_lt_rightDeriv

Modification history