mathlib3

6826bf00 - doc(data/vector3): improve wording (#14610)