Commit 2021-08-26 10:02 2e1e98fa
View on Github →feat(linear_algebra/bilinear_form): bilinear forms with det ≠ 0 are nonsingular (#8824)
In particular, the trace form is such a bilinear form (see #8777).
feat(linear_algebra/bilinear_form): bilinear forms with det ≠ 0 are nonsingular (#8824)
In particular, the trace form is such a bilinear form (see #8777).