Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-30 08:28 d06bd9a4

View on Github →

feat(algebra/big_operators/finprod): add finprod_eq_of_bijective (#10048)

Estimated changes

added theorem finprod_comp