Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.disjoint_sup_left

Modification history

2023-02-26 10:03
src/data/finset/lattice.lean
chore(data/finset/lattice): Protect a few more lemmas (#18497) …
Deleted finset.disjoint_sup_leftView on Github →
2022-02-14 04:42
src/data/finset/lattice.lean
feat(order/partition/finpartition): Finite partitions (#9795) …
Modified finset.disjoint_sup_leftView on Github →
2021-11-23 13:11
src/data/finset/lattice.lean
refactor(*): split `order_{top,bot}` from `lattice` hierarchy (#9891) …
Modified finset.disjoint_sup_leftView on Github →
2021-11-15 10:57
src/data/finset/lattice.lean
feat(order/sup_indep): Finite supremum independence (#9867) …
Added finset.disjoint_sup_leftView on Github →