Theorem Set.Iio_disjoint_Ioi_of_le

Modification history

2026-03-20 23:33
Mathlib/Order/Interval/Set/Disjoint.lean
feat(Order/Interval/Set/Disjoint): use `to_dual` (#36822) …
Deleted Set.Iio_disjoint_Ioi_of_leView on Github →
2025-05-07 15:35
Mathlib/Order/Interval/Set/Disjoint.lean
feat: Metric Spaces are T6 (#22256) …
Added Set.Iio_disjoint_Ioi_of_leView on Github →