Theorem List.Nat.mem_antidiagonal

Modification history

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