theorem :: MATRIXC1:56

for M being Matrix of COMPLEX st width M > 0 holds
(M @) *' = (M *') @