begin
:: deftheorem defines - MATRIX_4:def 1 :
for
K being
Field for
M1,
M2 being
Matrix of
K holds
M1 - M2 = M1 + (- M2);
theorem Th1:
theorem Th2:
theorem
theorem
theorem
theorem
theorem Th7:
theorem Th8:
theorem Th9:
theorem
theorem Th11:
theorem Th12:
theorem
theorem Th14:
theorem Th15:
theorem Th16:
theorem
theorem Th18:
theorem
theorem Th20:
theorem Th21:
theorem Th22:
theorem
theorem
theorem
theorem Th26:
theorem
theorem Th28:
theorem
theorem
theorem Th31:
theorem
theorem
theorem
theorem
for
K being
Field for
M1,
M2,
M3 being
Matrix of
K st
- M1 = - M2 holds
M1 = M2
theorem
theorem
theorem Th38:
theorem
theorem
theorem
theorem
theorem
theorem Th44:
theorem
theorem Th46:
theorem Th47:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th55:
theorem Th56:
theorem Th57:
theorem
theorem Th59:
theorem Th60:
theorem Th61:
theorem
theorem
theorem