Theorem Filter.prod_mem_curry

Modification history

2024-11-29 19:27

Mathlib/Order/Filter/Curry.lean

chore(Filter/Prod): drop `Filter.prod`, use `SProd` instead (#18315) …

Modified Filter.prod_mem_curry View on Github →

2024-06-14 15:02

Mathlib/Order/Filter/Curry.lean

feat(Order/Filter): Add lemmas about Filter.curry (#12435) …

Added Filter.prod_mem_curry View on Github →