Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
asymptotics.is_o_pow_pow
Modification history
2019-11-27 19:49
src/analysis/asymptotics.lean
feat(analysis/complex/exponential): derivatives (#1695) …
Added
asymptotics.is_o_pow_pow
View on Github →