Theorem convexOn_of_deriv2_nonneg

Modification history