Assertion: orthogonal matrix | /r/HasProperty | span kn
Facets:
Source sentences:
text: The transpose AT is an invertible matrix (hence rows of A are linearly independent, span Kn, and form a basis of Kn).