Mathlib: Vectors now support tuple expansion
x,y = V #Now works