Commit 2021-06-07 15:40 fa7b5f20
View on Github →feat(linear_algebra/quadratic_form): Complex version of Sylvester's law of inertia (#7416) Every nondegenerate complex quadratic form is equivalent to a quadratic form corresponding to the sum of squares.