Theorem mfderiv_comp_apply_of_eq

Modification history