mathlib
60363a4e - feat(finset/basic): Adding `list.to_finset_union` and `list.to_finset_inter` (#10351)

Commit

4 years ago

feat(finset/basic): Adding `list.to_finset_union` and `list.to_finset_inter` (#10351) Two tiny lemmas, matching their counterparts for `multiset`

Author

stuart-presnell

Parents