Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-26 04:25 40362122

View on Github →

feat(algebra/big_operators/nat_antidiagonal): a few more lemmas (#4783)

Estimated changes

Modified src/algebra/big_operators/nat_antidiagonal.lean

added theorem finset.nat.prod_antidiagonal_subst

added theorem finset.nat.prod_antidiagonal_succ'

added theorem finset.nat.prod_antidiagonal_succ

added theorem finset.nat.prod_antidiagonal_swap

added theorem finset.nat.sum_antidiagonal_succ'

modified theorem finset.nat.sum_antidiagonal_succ