Assertion: arbitrary matrix | /r/HasProperty | complex rotation
Facets:
Source sentences:
text: U is an arbitrary unitary matrix, a complex rotation in phase space,