Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-19 11:16 3fc32e3e

View on Github →

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

Estimated changes