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_succ'View on Github →