Commit 2025-08-09 16:00 3297c540
View on Github →feat(LinearAlgebra/Matrix/PosDef): positive semidefinite matrix is positive definite iff is invertible (#28083)
feat(LinearAlgebra/Matrix/PosDef): positive semidefinite matrix is positive definite iff is invertible (#28083)