Commit 2026-04-21 09:43 9b71bd27
View on Github →chore(LinearAlgebra/Matrix): deprecate Matrix.star_mul (#38307)
This PR generalizes the Matrix.starMul instance so that Matrix.star_mul can be replaced with star_mul from the root namespace. I verified the two are exactly the same (after this generalization) by with_reducible rfl. I noticed this while looking at docstrings.