Library
▹
Linear algebra
▹
Vector spaces
▹
Examples
F
n
V
=
F
dim(
V
)
if
F
is a field,
V
is a finite-dimensional vector space over
F