Assertion: determinant | /r/HasProperty | triangular
Facets:
Source sentences:
text: The determinant is zero by cofactor expansion across column 1 and by recognizing that , because is upper triangular with a zero on its main diagonal.