Assertion: complex number's conjugate | /r/HasProperty | eigenvalue
Facets:
Source sentences:
text: If A has real entries, then the conjugate is also an eigenvalue.