Theorem Real.hasDerivAt_Gamma_nat

Modification history

2024-04-18 08:21

Mathlib/NumberTheory/Harmonic/GammaDeriv.lean

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

Added Real.hasDerivAt_Gamma_nat View on Github →