mathlib3
f02c7844 - feat(special_functions/gamma): recurrence relation for Gamma function (#13156)

Commit

3 years ago

feat(special_functions/gamma): recurrence relation for Gamma function (#13156) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

loefflerd

Parents