isUpperTriangular
P160148
predicate
Indicates that a square matrix has all entries below its main diagonal equal to zero.