Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-11 08:22 1326aa7c

View on Github →

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

Estimated changes