Slate - Finite-dimensional vector spaces are isomorphic to column vector spaces

Proposition 3.1.4.2. Let F be a field, V be a finite-dimensional vector space over F. Then:

V = F^dim(V)

No proof.

References.