Theorem fderivWithin_fun_smul

Modification history