mathlib3
f17ed406 - feat(special_functions/gaussian): compute Gamma(1/2) (#17543)

Commit
3 years ago
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`. - [x] depends on: #17540 - [x] depends on: #17542
Author
Parents
Loading