Commit 2025-08-07 15:06 d9e9851e
View on Github →chore(LinearAlgebra/Matrix/PosDef): lemma in wrong namespace (#28084)
Matrix.PosDef.posDef_iff_eq_conjTranspose_mul_self
should be Matrix.posDef_iff_eq_conjTranspose_mul_self
.
chore(LinearAlgebra/Matrix/PosDef): lemma in wrong namespace (#28084)
Matrix.PosDef.posDef_iff_eq_conjTranspose_mul_self
should be Matrix.posDef_iff_eq_conjTranspose_mul_self
.