Theorem fderivWithin_comp_smul

Modification history