Theorem Asymptotics.IsTheta.rpow

Modification history

2026-03-10 20:55
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
feat(Analysis): Eliminate a hypothesis on IsTheta.rpow (#36084) …
Modified Asymptotics.IsTheta.rpowView on Github →
2024-05-17 10:58
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
feat(Pow/Asymptotics): add `IsTheta.rpow` and `Is*.sqrt` (#12971)
Added Asymptotics.IsTheta.rpowView on Github →