Theorem iteratedFDeriv_const_smul_apply'

Modification history