Theorem deriv_neg

Modification history