Theorem HasDerivAt.comp_sub_const

Modification history

2024-08-15 17:24
Mathlib/Analysis/Calculus/Deriv/Shift.lean
feat: Compute derivative of `fun x ↦ f (a - x)` (#15828) …
Added HasDerivAt.comp_sub_constView on Github →