Theorem Set.Icc_eq_Icc_iff

Modification history

2025-04-15 16:58

Mathlib/Order/Interval/Set/Basic.lean

feat: definition + basic results for chains / strings in root pairings (#24077)

Added Set.Icc_eq_Icc_iff View on Github →