Assertion: matrix | /r/HasProperty | ordinary matrix multiplication
Facets:
Source sentences:
text: where I n denotes the n-by-n identity matrix and the multiplication used is ordinary matrix multiplication.