Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.pairwise_disjoint_slice

Modification history

2022-11-12 02:18
src/data/finset/slice.lean
refactor(order/bounded_order): relax typeclass requirements on `disjoint` and `codisjoint` (#16434) …
Modified finset.pairwise_disjoint_sliceView on Github →
2022-01-19 16:05
src/data/finset/slice.lean
feat(data/finset/slice): More `finset.slice` and antichain lemmas (#11397) …
Modified finset.pairwise_disjoint_sliceView on Github →
2022-01-04 13:36
src/data/finset/slice.lean
feat(data/finset/slice): `r`-sets and slice (#10685) …
Added finset.pairwise_disjoint_sliceView on Github →