mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

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

Open urkud opened this issue 3 years ago • 0 comments

TODO: merge master once #16543 is merged.

Open in Gitpod

urkud avatar Jun 19 '22 20:06 urkud