Theorem strictConcaveOn_univ_of_deriv2_neg

Modification history