Theorem StrictMono.strictConvexOn_univ_of_deriv

Modification history