Theorem mfderiv_eq_fderiv

Modification history