Theorem List.Nat.antidiagonal_succ_succ'

Modification history

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