Mathlib v3 is deprecated. Go to Mathlib v4

Theorem equiv.perm.prod_comp

Modification history

2022-01-18 10:53

src/algebra/big_operators/basic.lean

feat(algebra/big_operators/basic): Reindexing a product with a permutation (#11344) …

Added equiv.perm.prod_comp View on Github →