Commit 2025-08-19 08:35 6eb95914
View on Github →chore(LinearAlgebra/Matrix/PosDef): slight generalization for PosDef.isUnit (#28463)
Slightly generalize Matrix.PosDef.isUnit, Matrix.PosDef.inv, and Matrix.posDef_inv_iff to use Field and StarRing with a partial order instead of RCLike.