Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-11 12:05 c8c740df

View on Github →

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

Estimated changes

added theorem set.to_finset_prod