chore(LapMatrix): use `Matrix.mulVecLin` instead of `toLin'`#24999

urkud wants to merge 1 commit intomasterleanprover-community/mathlib4:masterfrom

YK-lap-toLinleanprover-community/mathlib4:YK-lap-toLinCopy head branch name to clipboard