Finiteness of vector types

instance List.Vector.finite {α : Type u_1} [Finite α] {n : ℕ} : Finite (List.Vector α n)