isUpperTriangular

P160148
predicate

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

Sample triples (1)

Subject Object
T:z ↦ z+1
surface form: T : z ↦ z + 1
true