Assertion: complex number's conjugate | /r/HasProperty | an automorphism of order
Facets:
Source sentences:
text: These three properties imply that the split-complex conjugate is an automorphism of order 2.