Theorem Convex.strictMonoOn_of_deriv_pos

Modification history