mathlib
532141f5 - Merge branch 'master' into YK-is-o-pow-exp

Commit

3 years ago

Merge branch 'master' into YK-is-o-pow-exp

References

YK-is-o-pow-exp

#14835 - feat(analysis/special_functions): add `is_o`/`is_Theta` lemmas about `real.exp`

Author

urkud

urkud

Parents

Loading