mathlib3
c8c740df - feat(data/fintype/basic): `fintype.to_finset_prod` (#16459)

Commit

3 years ago

feat(data/fintype/basic): `fintype.to_finset_prod` (#16459)

Author

kmill

kmill

Parents

Loading