`is_Theta` (#15506)

Commit

3 years ago

feat(analysis/special_functions/exp): add lemmas about `is_o`/`is_O`/`is_Theta` (#15506) Add lemmas about asymptotic comparison of `exp (f x)` and `exp (g x)`.

Author

urkud

Parents

b2af6ee9

mathlib 8f000ca2 - feat(analysis/special_functions/exp): add lemmas about `is_o`/`is_O`/`is_Theta` (#15506)

mathlib
8f000ca2 - feat(analysis/special_functions/exp): add lemmas about `is_o`/`is_O`/`is_Theta` (#15506)