Finiteness of vector types

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

Equations

• ⋯ = ⋯