Theorem Filter.curry_le_prod

Modification history

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