begin
:: deftheorem defines Directed SCMFSA6A:def 1 :
:: deftheorem defines Directed SCMFSA6A:def 2 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
:: deftheorem defines Macro SCMFSA6A:def 3 :
theorem Th15:
theorem Th16:
theorem Th17:
theorem
theorem
theorem
canceled;
theorem Th21:
theorem Th22:
:: deftheorem defines Initialized SCMFSA6A:def 4 :
theorem Th23:
theorem Th24:
theorem
theorem Th26:
theorem
canceled;
theorem Th28:
theorem
canceled;
theorem Th30:
theorem Th31:
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th38:
theorem
theorem
canceled;
theorem
theorem
theorem Th43:
theorem Th44:
theorem Th45:
theorem Th46:
theorem Th47:
theorem Th48:
theorem Th49:
theorem Th50:
theorem Th51:
theorem
theorem
begin
:: deftheorem defines ';' SCMFSA6A:def 5 :
theorem
theorem
theorem Th56:
theorem
theorem
begin
:: deftheorem defines ';' SCMFSA6A:def 6 :
:: deftheorem defines ';' SCMFSA6A:def 7 :
:: deftheorem defines ';' SCMFSA6A:def 8 :
theorem
theorem
theorem Th61:
theorem
theorem Th63:
theorem Th64:
theorem Th65:
theorem Th66:
theorem Th67:
theorem
theorem
theorem
theorem
theorem
theorem
theorem