Assertion: complex number's conjugate | /r/HasProperty | given
Facets:
Source sentences:
text: The split-complex conjugate in the diagonal basis is given by