Theorem tendsto_rpow_atBot_of_base_gt_one

Modification history

2024-05-04 05:06
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
chore(Analysis/SpecialFunctions): `Real.rpow` -> `_ ^ _` (#12613)
Modified tendsto_rpow_atBot_of_base_gt_oneView on Github →
2023-08-13 08:12
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
feat: lemmas about monotonicity and asymptotics of `rpow` (#6140)
Added tendsto_rpow_atBot_of_base_gt_oneView on Github →