Theorem Real.deriv_Gamma_nat

Modification history

2024-04-18 08:21
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
feat(NumberTheory/Harmonic): Euler-Mascheroni const = `-Γ'(1)` (#11611)
Added Real.deriv_Gamma_natView on Github →