Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.prod_trunc

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_trunc View on Github →