Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-11 09:27 cd616e0d

View on Github →

feat(analysis/special_functions/pow): more versions of x ^ k = o(exp(b * x)) (#13285)

Estimated changes

added theorem is_o_rpow_exp_at_top