Mathlib Changelog
v4
Changelog
About
Github
Theorem
tendsto_rpow_atTop_of_base_gt_one
Modification history
2023-08-13 08:12
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
feat: lemmas about monotonicity and asymptotics of `rpow` (#6140)
Added
tendsto_rpow_atTop_of_base_gt_one
View on Github →