:: deftheorem defines Minor LAPLACE:def 4 :
for i, j, n being Nat
for K being Field
for M being Matrix of n,K holds Minor (M,i,j) = Det (Delete (M,i,j));