simp only [testvecs]
n d : ℕ
inst✝ : NeZero d
⊢ ↑(Finset.Nat.antidiagonalTuple (Nat.succ n) d) = testvecs n d
n d : ℕ
inst✝ : NeZero d
⊢ ↑(Finset.Nat.antidiagonalTuple (Nat.succ n) d) = {w | Weight.sum w = d}