Theorem Filter.eventually_curry_iff

Modification history

2023-01-23 13:01
Mathlib/Order/Filter/Curry.lean
Feat: port Order.Filter.Curry (#1773)
Added Filter.eventually_curry_iffView on Github →