Mathlib Changelog
v4
Changelog
About
Github
Theorem
differentiableAt_iff_comp_const_sub
Modification history
2024-08-15 17:24
Mathlib/Analysis/Calculus/Deriv/Add.lean
feat: Compute derivative of `fun x ↦ f (a - x)` (#15828) …
Added
differentiableAt_iff_comp_const_sub
View on Github →