Commit 2021-01-02 00:36 b57d562c
View on Github →feat(algebra/big_operators/nat_antidiagonal): add prod_antidiagonal_eq_prod_range_succ (#5528) Sometimes summing over nat.antidiagonal is nicer than summing over range(n+1).
feat(algebra/big_operators/nat_antidiagonal): add prod_antidiagonal_eq_prod_range_succ (#5528) Sometimes summing over nat.antidiagonal is nicer than summing over range(n+1).