Mathlib Changelog
v4
Changelog
About
Github
Theorem
iteratedDeriv_add
Modification history
2025-02-15 04:27
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
chore(Analysis): relax arguments of `iteratedFDerivWithin_add_apply` and friends (#21677)
Modified
iteratedDeriv_add
View on Github →
2024-12-18 13:24
Mathlib/Analysis/Calculus/IteratedDeriv/Lemmas.lean
feat: add some iteratedDeriv variants of iteratedDerivWithin lemmas (#19849) …
Added
iteratedDeriv_add
View on Github →