Commit 2025-01-29 22:18 323ed6b5
View on Github →feat: add new iteratedDeriv_const_smul/mul (#20288) These are consistent with the iteratedDerivWithin versions and replace the older deprecated and misnamed theorems.
feat: add new iteratedDeriv_const_smul/mul (#20288) These are consistent with the iteratedDerivWithin versions and replace the older deprecated and misnamed theorems.