Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.prod_congr'

Modification history

2022-04-21 23:36
src/algebra/big_operators/fin.lean
feat(algebra/big_operators): split products and sums over fin (a+b) (#13291)
Added fin.prod_congr'View on Github →