Def complex.Gamma

Modification history

2022-11-25 18:28
src/analysis/special_functions/gamma.lean
feat(special_functions/gaussian): compute Gamma(1/2) (#17543) …
Modified complex.GammaView on Github →
2022-06-07 21:09
src/analysis/special_functions/gamma.lean
feat(special_functions/gamma): better convergence bounds (#14496) …
Modified complex.GammaView on Github →
2022-04-25 08:04
src/analysis/special_functions/gamma.lean
feat(special_functions/gamma): recurrence relation for Gamma function (#13156)
Added complex.GammaView on Github →