:: deftheorem defines Deleting MATRIX_0:def 14 :
for i, j, n being Nat
for D being non empty set
for M being Matrix of n,D holds Deleting (M,i,j) = DelCol ((DelLine (M,i)),j);