Theorem Filter.map₂_pure_left

Modification history

2023-12-20 19:25

Mathlib/Order/Filter/NAry.lean

feat(Filter/{NAry,Pointwise}): add missing `NeBot` instances (#9055) …

Modified Filter.map₂_pure_left View on Github →

2023-01-24 07:35

Mathlib/Order/Filter/NAry.lean

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

Added Filter.map₂_pure_left View on Github →