theorem LmSign1EX: :: ZMODLAT2:53

for n, i, j being Nat
for M being Matrix of n + 1,F_Real st 0 < n & M is Matrix of n + 1,F_Rat & [i,j] in Indices M holds
Delete (M,i,j) is Matrix of n,F_Rat