Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.subset_union_elim

Modification history

2020-04-08 17:46
src/data/finset.lean
feat(tactic/linter): add decidable_classical linter (#2352) …
Modified finset.subset_union_elimView on Github →
2019-04-20 20:07
src/data/finset.lean
feat(data/[fin]set): add some more basic properties of (finite) sets (#948) …
Added finset.subset_union_elimView on Github →