begin
theorem
theorem
theorem Th3:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th14:
theorem
begin
theorem Th16:
theorem Th17:
theorem
theorem Th19:
theorem
theorem
theorem Th22:
:: deftheorem defines MXR2MXF MATRIXR1:def 1 :
:: deftheorem defines MXF2MXR MATRIXR1:def 2 :
theorem
theorem
:: deftheorem defines + MATRIXR1:def 3 :
theorem Th25:
theorem Th26:
:: deftheorem defines - MATRIXR1:def 4 :
:: deftheorem defines - MATRIXR1:def 5 :
:: deftheorem defines * MATRIXR1:def 6 :
:: deftheorem Def7 defines * MATRIXR1:def 7 :
theorem Th27:
theorem Th28:
theorem Th29:
theorem Th30:
theorem
theorem
theorem
theorem
:: deftheorem defines 0_Rmatrix MATRIXR1:def 8 :
theorem
theorem Th36:
theorem
theorem
theorem
theorem Th40:
theorem
theorem
theorem
theorem
:: deftheorem Def9 defines ColVec2Mx MATRIXR1:def 9 :
theorem
theorem Th46:
theorem Th47:
:: deftheorem Def10 defines LineVec2Mx MATRIXR1:def 10 :
theorem
theorem Th49:
theorem Th50:
theorem
:: deftheorem defines * MATRIXR1:def 11 :
:: deftheorem defines * MATRIXR1:def 12 :
theorem Th52:
theorem Th53:
theorem Th54:
theorem Th55:
theorem Th56:
theorem
theorem
theorem Th59:
theorem
theorem Th61:
theorem Th62:
theorem Th63:
theorem Th64:
theorem
theorem