[Merged by Bors] - chore(LinearAlgebra/Matrix): deprecate Matrix.star_mul#38307

Vierkantor wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

Vierkantor:Matrix.star_mul-docstringVierkantor/mathlib4:Matrix.star_mul-docstringCopy head branch name to clipboard