Theorem Convex.image_sub_le_mul_sub_of_deriv_le

Modification history