Assertion: matrix | /r/HasProperty | different
Facets:
Source sentences:
text: So if n is different from m, the two zero-matrices are different.