Def List.Nat.antidiagonal

Modification history

2023-01-11 06:42
Mathlib/Data/List/NatAntidiagonal.lean
feat: Port/data.list.nat antidiagonal (#1474)
Added List.Nat.antidiagonalView on Github →