mathlib3
2153dc34 - feat(data/fintype/sort): add `fin_sum_equiv_of_finset` (#6008)

Commit

4 years ago

feat(data/fintype/sort): add `fin_sum_equiv_of_finset` (#6008)

Author

urkud

urkud

Parents

Loading