mathlib

3d030983 - doc(data/matrix/basic): Clarify docstring (#14109)