Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-21 23:36 63ee5582

View on Github →

feat(algebra/big_operators): split products and sums over fin (a+b) (#13291)

Estimated changes

added theorem finset.prod_on_sum
added theorem fin.prod_congr'
added theorem fin.prod_trunc
added theorem fin.prod_univ_add