mathlib3
56185bdd - feat(data/finset): add some lemmas about `finset.disj_union` (#14910)

Commit

3 years ago

feat(data/finset): add some lemmas about `finset.disj_union` (#14910) Co-authored-by: YaelDillies <yael.dillies@gmail.com>

Author

eric-wieser

Parents