Mathlib Changelog
v4
Changelog
About
Github
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.rpow
View 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.rpow
View on Github →