Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ite_le_sup

Modification history

2021-12-17 19:23
src/order/lattice.lean
feat(data/finset/basic): add ite_subset_union, inter_subset_ite for finset (#10586) …
Added ite_le_supView on Github →