:: deftheorem defines Cofactor LAPLACE:def 5 :
for i, j, n being Nat
for K being Field
for M being Matrix of n,K holds Cofactor (M,i,j) = ((power K) . ((- (1_ K)),(i + j))) * (Minor (M,i,j));