mathlib
1326aa7c - feat(analysis/special_functions): limit of x^s * exp(-x) for s real (#12540)

Commit

3 years ago

feat(analysis/special_functions): limit of x^s * exp(-x) for s real (#12540) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

loefflerd

Parents