mathlib
3fc32e3e - feat(analysis/asymptotics): add `is_O.inv_rev`, `is_o.inv_rev` (#10896)

Commit

4 years ago

feat(analysis/asymptotics): add `is_O.inv_rev`, `is_o.inv_rev` (#10896)

Author

urkud

urkud

Parents

Loading