Theorem iteratedFDeriv_const_smul_apply

Modification history