Theorem StrictAntiOn.strictConcaveOn_of_deriv

Modification history