Commit 2026-01-21 09:49 a720914b

View on Github →

feat(Order/Interval/Set/Basic): Iio ⊤ = {⊤}ᶜ and Ioi ⊥ = {⊥}ᶜ (#34170)

Estimated changes

added theorem Set.Iio_top
added theorem Set.Ioi_bot