mathlib
4e2b46a7 - feat(algebra/big_operators): add induction principles (#3197)

Commit

5 years ago

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

Author

jalex-stark

Parents