Commit 2025-09-09 10:44 79195cff

View on Github →

feat(LinearAlgebra/Matrix/PosDef): positive (semi-)definite matrices commute iff their product is positive (semi-)definite (#28616)

<!-- The text above the `

Estimated changes