Theorem strictConcaveOn_of_deriv2_neg

Modification history