Theorem Finset.Nat.prod_antidiagonal_subst

Modification history

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