Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-06 10:42 97c4d4ed

View on Github →

feat(analysis/asymptotics/asymptotics): add is_O.exists_mem_basis (#13973)

Estimated changes