Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inf_le_ite

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 inf_le_iteView on Github →