basic): equivalence between `finset α` and `set α` for `fintype α` (#14840)

Commit

3 years ago

feat(data/fintype/basic): equivalence between `finset α` and `set α` for `fintype α` (#14840) Co-authored-by: Kyle Miller <kmill31415@gmail.com>

Author

vihdzp

Parents