Theorem fderiv_one

Modification history