Theorem Convex.is_const_of_fderivWithin_eq_zero

Modification history