Assertion: orthogonal matrix | /r/HasProperty | invertible
Facets:
Source sentences:
text: A symmetric matrix is positive-definite if and only if all its eigenvalues are positive, that is, the matrix is positive-semidefinite and it is invertible.