basic): `finset α` is well-founded (#17950)

Commit

3 years ago

feat(data/finset/basic): `finset α` is well-founded (#17950) and `multiset α` too.

Author

YaelDillies

Parents