Theorem fderivWithin_const_smul'

Modification history