Commit 2024-06-14 15:02 1b576bae
View on Github →feat(Order/Filter): Add lemmas about Filter.curry (#12435)
Filter.curry is a useful definition for reasoning about Fubini-type theorems, but there are almost no lemmas about it. This PR adds some in preparation for an upcomming PR on the Kuratowski-Ulam theorem.