theorem Th49: :: MATRIXJ1:49

for n being Nat
for K being Field
for N being Matrix of n,K holds Det <*N*> = <*(Det N)*>