Theorem Real.hasDerivAt_Gamma_one_half

Modification history

2024-05-25 20:06
Mathlib/NumberTheory/Harmonic/GammaDeriv.lean
feat (NumberTheory/Harmonic): compute Gamma'(1/2) (#12923) …
Added Real.hasDerivAt_Gamma_one_halfView on Github →