Mathlib v3 is deprecated. Go to Mathlib v4

Theorem asymptotics.is_O_with.sup

Modification history

2022-06-06 20:46
src/analysis/asymptotics/asymptotics.lean
refactor(analysis/asymptotics): rename `is_O.join` to `is_O.sup` (#14558) …
Added asymptotics.is_O_with.supView on Github →