Assertion: triangular matrix | /r/HasProperty | square
Facets:
Source sentences:
text: Note that triangular matrices are square, that diagonals are triangular and therefore are square, and that identities are diagonals and therefore are triangular and square.