Assertion: matrix's root | /r/HasProperty | unique square
Facets:
Source sentences:
text: In general, a complex matrix with positive real eigenvalues has a unique square root with positive eigenvalues called the principal square root.