Library
▹
Linear algebra
▹
Vector spaces
Vec
(vector spaces)
finite-dimensional/infinite-dimensional
dim
Examples