Theorem concaveOn_of_deriv2_nonpos

Modification history