Assertion: matrix's eigenvalue | /r/CapableOf | lie on the unit circle
Facets:
Source sentences:
text: U is a normal matrix with eigenvalues lying on the unit circle.