Theorem fderiv_neg

Modification history