Commit 2021-12-02 22:04 ac767452
View on Github →feat(data/finsupp/basic): add finsupp.prod_congr and sum_congr (#10568)
These are the counterparts for finsupp of a simpler form of finset.prod_congr
feat(data/finsupp/basic): add finsupp.prod_congr and sum_congr (#10568)
These are the counterparts for finsupp of a simpler form of finset.prod_congr