Vectors/n-tuples

Stream: mathlib4

[Jesse Slater]

Currently in Mathlib, I have found support for three different kinds of vectors/n-tuples.
Mathlib.Data.Vector
Mathlib.Data.Fin.Tuple.Reflection
Mathlib.Data.Vector3

What is the advantage of choosing one of these over another? Is there one which should be thought of as the default? Are there more that I missed?

[Eric Wieser]

I think mathlib pretty much uses Fin n -> A everywhere (i.e. your second import, though Reflection is a weird file to point to)

[Bjørn Kjos-Hanssen]

And here I was assuming Vector was the way to go all this time...