Theorem mfderiv_const

Modification history