Theorem fderivWithin_comp_smul_eq_fderivWithin_smul

Modification history