AIHL 1.14.5 Properties of matrices