theorem Th46: :: MATRIX11:46

for n being Nat
for K being commutative Ring
for M being Matrix of n,K
for perm being Element of Permutations n
for Perm being Permutation of (Seg n) st perm = Perm holds
Det (M * Perm) = - ((Det M),perm)