Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.nat.prod_antidiagonal_eq_prod_range_succ

Modification history

2021-01-02 00:36

src/algebra/big_operators/nat_antidiagonal.lean

feat(algebra/big_operators/nat_antidiagonal): add prod_antidiagonal_eq_prod_range_succ (#5528) …

Added finset.nat.prod_antidiagonal_eq_prod_range_succ View on Github →