Theorem Filter.NeBot.of_map₂_right

Modification history

2023-12-20 19:25

Mathlib/Order/Filter/NAry.lean

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

Modified Filter.NeBot.of_map₂_right View on Github →

2023-01-24 07:35

Mathlib/Order/Filter/NAry.lean

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

Added Filter.NeBot.of_map₂_right View on Github →