feat(algebra/big_operators): add induction principles (#3197)
feat(algebra/big_operators): add induction principles (#3197)

add sum_induction and prod_induction





leanprover-community/mathlib,leanprover-community/mathlib