Theorem deriv_comp_const_add

Modification history

2024-08-15 17:24

Mathlib/Analysis/Calculus/Deriv/Shift.lean

feat: Compute derivative of `fun x ↦ f (a - x)` (#15828) …

Modified deriv_comp_const_add View on Github →

2024-04-18 08:21

Mathlib/Analysis/Calculus/Deriv/Shift.lean

feat(NumberTheory/Harmonic): Euler-Mascheroni const = `-Γ'(1)` (#11611)

Added deriv_comp_const_add View on Github →