mathlib

0fc54965 - feat(linear_algebra/matrix): LDL Decomposition (#15220)

feat(linear_algebra/matrix): LDL Decomposition (#15220) Any positive definite matrix `S` can be decomposed as `S = LDLᴴ` where `L` is a lower-triangular matrix and `D` is a diagonal matrix.