Theorem deriv_fderiv

Modification history