:: deftheorem Def6 defines Matrix_of_Cofactor LAPLACE:def 6 :
for n being Nat
for K being Field
for M, b₄ being Matrix of n,K holds
( b₄ = Matrix_of_Cofactor M iff for i, j being Nat st [i,j] in Indices b₄ holds
b₄ * (i,j) = Cofactor (M,i,j) );