Theorem StrictAnti.strictConcaveOn_univ_of_deriv

Modification history