Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-02-17 17:02 dcb28262

View on Github →

feat(order/filter/basic): add eventually_eq.(smul/const_smul/sup/inf) (#12101)

Estimated changes