Theorem Real.eulerMascheroniConstant_eq_neg_deriv

Modification history

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