Theorem mfderiv_comp_apply

Modification history