Assertion: matrix's column | /r/HasProperty | eigenvectors of both a and b
Facets:
value: in this special case
type: OTHER
Source sentences:
text: In this special case, the columns of U* are eigenvectors of both A and B and form an orthonormal basis in Cn.