begin
theorem
theorem
:: deftheorem defines COMPLEX2Field MATRIX_5:def 1 :
:: deftheorem defines Field2COMPLEX MATRIX_5:def 2 :
theorem
theorem
theorem
theorem
:: deftheorem defines + MATRIX_5:def 3 :
:: deftheorem defines - MATRIX_5:def 4 :
:: deftheorem defines - MATRIX_5:def 5 :
:: deftheorem defines * MATRIX_5:def 6 :
:: deftheorem Def7 defines * MATRIX_5:def 7 :
theorem
theorem
theorem
canceled;
theorem Th10:
theorem
theorem
theorem Th13:
theorem
theorem
:: deftheorem defines 0_Cx MATRIX_5:def 8 :
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
canceled;
theorem
theorem
canceled;
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem Th36:
theorem
theorem Th38:
theorem
theorem Th40:
theorem
theorem