Theorem List.Nat.antidiagonal_zero

Modification history

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