Theorem Filter.eventually_curry_prod_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_prod_iffView on Github →
2024-06-14 15:02
Mathlib/Order/Filter/Curry.lean
feat(Order/Filter): Add lemmas about Filter.curry (#12435) …
Added Filter.eventually_curry_prod_iffView on Github →