Can't find Vector.all

Stream: Is there code for X?

[Vivek Rajesh Joshi]

Is there a function that checks a proposition for all elements of a vector, similar to List.all?

[Kim Morrison]

If you mean the Vector in Mathlib, no, it is junk and about to be deprecated and replaced with a new implementation in Batteries. Rely on it as little as you can. :-)

[Ruben Van de Velde]

Should we mark the current implementation as deprecated?

[Ruben Van de Velde]

Is it used outside computability theory? A bit in Perm.Cycle?