Theorem Complex.hasDerivAt_Gammaℝ_one

Modification history

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