Theorem Set.Ioi_eq_empty_iff

Modification history

2024-08-23 15:37
Mathlib/Order/Interval/Set/Basic.lean
feat(Order/Cover): add lemmas about `WithTop`/`WithBot` (#15487)
Added Set.Ioi_eq_empty_iffView on Github →