Theorem Filter.atBot_eq_pure_of_isBot
Modification history
2025-04-02 15:28
Mathlib/Order/Filter/Ultrafilter/Basic.lean
feat(Order/Filter/Ultrafilter/Basic): generalize lemma (#23569) …
Modified Filter.atBot_eq_pure_of_isBotView on Github →2025-01-21 12:39
Mathlib/Order/Filter/Ultrafilter/Basic.lean
chore: split Mathlib.Order.Filter.Ultrafilter (#20848)
Modified Filter.atBot_eq_pure_of_isBotView on Github →