Assertion: triangular matrix | /r/HasProperty | diagonal
Facets:
Source sentences:
text: Proposition: A normal triangular matrix is diagonal.
text: But then B must be diagonal, for, as noted above, a normal upper-triangular matrix is diagonal.