Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-25 18:28 f17ed406

View on Github →

feat(special_functions/gaussian): compute Gamma(1/2) (#17543) Uses the Gaussian-integral computation, together with some results on integration by substitution from #17542, to evaluate Gamma (1 / 2) = sqrt real.pi.

Estimated changes