Theorem concaveOn_of_deriv2_nonpos'

Modification history