Theorem Filter.eq_or_neBot

Modification history

2023-06-29 08:26
Mathlib/Order/Filter/Basic.lean
feat: add `Filter.eq_or_neBot` (#5230) …
Added Filter.eq_or_neBotView on Github →