Assertion: orthogonal matrix | /r/HasProperty | multiplied by another matrix
Facets:
Source sentences:
text: An inverse matrix is a matrix that, when multiplied by another matrix, equals the identity matrix.