Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.prod_to_finset

Modification history

2020-10-01 14:28
src/algebra/big_operators/basic.lean
feat(linear_algebra): determinant of `matrix.block_diagonal` (#4300) …
Added list.prod_to_finsetView on Github →