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






leanprover-community/mathlib,leanprover-community/mathlib