Theorem Finset.Nat.sum_antidiagonal_succ

Modification history

2023-01-19 06:52
Mathlib/Algebra/BigOperators/NatAntidiagonal.lean
feat port: Algebra.BigOperators.NatAntidiagonal (#1656)
Added Finset.Nat.sum_antidiagonal_succView on Github →