Theorem Complex.differentiable_at_Gamma_nat_add_one

Modification history

2025-06-06 19:11
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
style: differentiable_at -> differentiableAt (#25539)
Deleted Complex.differentiable_at_Gamma_nat_add_oneView on Github →
2024-04-18 08:21
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
feat(NumberTheory/Harmonic): Euler-Mascheroni const = `-Γ'(1)` (#11611)
Added Complex.differentiable_at_Gamma_nat_add_oneView on Github →