Theorem fderiv_zero

Modification history