Theorem Set.Iio_top

Modification history

2026-01-21 09:49
Mathlib/Order/Interval/Set/Basic.lean
feat(Order/Interval/Set/Basic): `Iio ⊤ = {⊤}ᶜ` and `Ioi ⊥ = {⊥}ᶜ` (#34170)
Added Set.Iio_topView on Github →