mathlib3

95cdebac - doc(linear_algebra): fix wrong docstring (#10139)