Theorem Filter.eventually_curry_iff

Modification history

2024-11-29 19:27
Mathlib/Order/Filter/Curry.lean
chore(Filter/Prod): drop `Filter.prod`, use `SProd` instead (#18315) …
Modified Filter.eventually_curry_iffView on Github →
2023-01-23 13:01
Mathlib/Order/Filter/Curry.lean
Feat: port Order.Filter.Curry (#1773)
Added Filter.eventually_curry_iffView on Github →