Assertion: matrix's root | /r/HasAspect | real entries
Facets:
Source sentences:
text: If the matrix has real entries, then the square root also has real entries.