Commit 2025-05-10 11:36 c3b95a79
View on Github →feat(LinearAlgebra/Matrix/PosDef): Matrix.PosSemidef.det_nonneg (#24725) The determinant of a PSD matrix is nonnegative.
feat(LinearAlgebra/Matrix/PosDef): Matrix.PosSemidef.det_nonneg (#24725) The determinant of a PSD matrix is nonnegative.