Theorem mfderiv_snd

Modification history