Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-05-26 10:40 8c36b32f

View on Github →

feat(order/filter/basic): add eventually.curry (#2807) I'm not sure that this is a good name. Suggestions of better names are welcome.

Estimated changes