Theorem Set.Iic_disjoint_Ici

Modification history

2026-03-20 23:33

Mathlib/Order/Interval/Set/Disjoint.lean

feat(Order/Interval/Set/Disjoint): use `to_dual` (#36822) …

Deleted Set.Iic_disjoint_Ici View on Github →

2022-12-26 20:05

Mathlib/Data/Set/Intervals/Disjoint.lean

feat: port Data.Set.Intervals.Disjoint (#1198)

Added Set.Iic_disjoint_Ici View on Github →