Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-17 17:22 e5a844e1

View on Github →

feat(data/finsupp/basic): add two versions of finsupp.mul_prod_erase (#10708) Adding a counterpart for finsupp of finset.mul_prod_erase

Estimated changes

added theorem finsupp.mul_prod_erase