Mathlib
Atlas
Atlas
/
Algebra
/
Linear algebra
Vectors
1/4
A vector is an arrow: a direction and a length, free to slide.
v
=
(
x
,
y
)
Replay
Challenge
Ask