Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Icc_min_max

Modification history

2022-12-14 05:27
src/data/set/intervals/unordered_interval.lean
refactor(data/set/intervals): Generalize `set.interval` to lattices (#17776) …
Added set.Icc_min_maxView on Github →