Theorem fderivWithin_const_smul

Modification history