Theorem Real.hasDerivAt_Gamma_one

Modification history

2024-05-25 20:06
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
feat (NumberTheory/Harmonic): compute Gamma'(1/2) (#12923) …
Modified Real.hasDerivAt_Gamma_oneView on Github →
2024-04-18 08:21
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
feat(NumberTheory/Harmonic): Euler-Mascheroni const = `-Γ'(1)` (#11611)
Added Real.hasDerivAt_Gamma_oneView on Github →