Theorem Finset.Nat.prod_antidiagonal_succ'

Modification history

2024-05-27 08:32
Mathlib/Algebra/BigOperators/NatAntidiagonal.lean
chore: Use the new `∑ i ∈ s, f i` notation (#13209) …
Modified Finset.Nat.prod_antidiagonal_succ'View on Github →
2023-05-07 05:02
Mathlib/Algebra/BigOperators/NatAntidiagonal.lean
chore: bye-bye, solo `by`s! (#3825) …
Modified Finset.Nat.prod_antidiagonal_succ'View on Github →
2023-01-19 06:52
Mathlib/Algebra/BigOperators/NatAntidiagonal.lean
feat port: Algebra.BigOperators.NatAntidiagonal (#1656)
Added Finset.Nat.prod_antidiagonal_succ'View on Github →