Library ▹ Linear algebra ▹ Vector spaces
  • Vec (vector spaces)
  • finite-dimensional/infinite-dimensional
  • dim
  • Examples
[View Source]