Commit 2025-10-22 07:35 f8b9dcc5
View on Github →refactor(Analysis/Calculus/IteratedDeriv/Defs): tweak statement of iteratedDerivWithin_one (#29324)
This PR removes the x from iteratedDerivWithin_one to make it match iteratedDerivWithin_zero.