Theorem List.Nat.length_antidiagonal

Modification history

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