Theorem monotone_of_deriv_nonneg

Modification history