mathlib
4264220c - feat(analysis/asymptotics): add several lemmas (#14805)

Commit

3 years ago

feat(analysis/asymptotics): add several lemmas (#14805) Also make `𝕜` explicit in `asymptotics.is_O_with_const_one` and `asymptotics.is_O_const_one`.

Author

urkud

Parents