Assertion: algebra's v | /r/HasProperty | suitable invertible matrix
Facets:
Source sentences:
text: The eigendecomposition or diagonalization expresses A as a product VDV−1, where D is a diagonal matrix and V is a suitable invertible matrix.