Theorem Filter.curry_le_prod

Modification history

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