Def Finset.Nat.antidiagonalTuple

Modification history

2023-02-11 08:36

Mathlib/Data/Fin/Tuple/NatAntidiagonal.lean

feat: port Data.Fin.Tuple.NatAntidiagonal (#2170)

Added Finset.Nat.antidiagonalTuple View on Github →