Assertion: matrix's form | /r/HasProperty | t = i
Facets:
Source sentences:
text: Any other square root T with positive eigenvalues has the form T = I