Theorem Filter.mem_map₂_iff

Modification history

2023-12-29 06:46

Mathlib/Order/Filter/NAry.lean

refactor(*): change definition of `Set.image2` etc (#9275) …

Modified Filter.mem_map₂_iff View on Github →

2023-01-24 07:35

Mathlib/Order/Filter/NAry.lean

feat: Port order.filter.n_ary (#1786)

Added Filter.mem_map₂_iff View on Github →