Theorem Convex.strictAntiOn_of_deriv_neg

Modification history