theorem Th43: :: MATRIXR2:43

for K being Field
for n being Nat
for A being Matrix of n,K holds Det A = Det (A @)