Mathlib Changelog
v4
Changelog
About
Github
Theorem
HasDerivAt.comp_add_const
Modification history
2024-08-15 17:24
Mathlib/Analysis/Calculus/Deriv/Shift.lean
feat: Compute derivative of `fun x ↦ f (a - x)` (#15828) …
Modified
HasDerivAt.comp_add_const
View on Github →
2023-12-08 10:23
Mathlib/Analysis/Calculus/Deriv/Shift.lean
feat: invariance of the derivative under translation (#8614) …
Added
HasDerivAt.comp_add_const
View on Github →