Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-17 10:58
e096c9ef
View on Github →
feat(Pow/Asymptotics): add
IsTheta.rpow
and
Is*.sqrt
(
#12971
)
Estimated changes
Modified
Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean
added
theorem
Asymptotics.IsTheta.rpow