Theorem fderivWithin_const_smul_field

Modification history