Theorem Set.Icc_min_max

Modification history

2022-12-20 05:15

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

feat: port `Data.Set.Intervals.UnorderedInterval` (#1062)

Added Set.Icc_min_max View on Github →