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.

Estimated changes