begin
:: deftheorem defines [. RCOMP_1:def 1 :
:: deftheorem defines ]. RCOMP_1:def 2 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th8:
theorem
theorem
:: deftheorem Def3 defines compact RCOMP_1:def 3 :
:: deftheorem Def4 defines closed RCOMP_1:def 4 :
:: deftheorem Def5 defines open RCOMP_1:def 5 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th22:
theorem Th23:
theorem
theorem Th25:
theorem Th26:
theorem Th27:
theorem Th28:
theorem
theorem Th30:
theorem Th31:
theorem
theorem
:: deftheorem RCOMP_1:def 6 :
canceled;
:: deftheorem Def7 defines Neighbourhood RCOMP_1:def 7 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem Th39:
theorem
theorem
theorem
canceled;
theorem Th43:
theorem Th44:
theorem
:: deftheorem defines [. RCOMP_1:def 8 :
:: deftheorem defines ]. RCOMP_1:def 9 :