Theorem strictConvexOn_of_deriv2_pos'

Modification history