begin
:: deftheorem CFCONT_1:def 1 :
canceled;
:: deftheorem Def2 defines is_continuous_in CFCONT_1:def 2 :
theorem
canceled;
theorem Th2:
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th9:
theorem Th10:
theorem
theorem Th12:
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th18:
theorem Th19:
theorem
theorem Th21:
theorem Th22:
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th39:
theorem Th40:
theorem Th41:
theorem
theorem
theorem Th44:
theorem
theorem Th46:
theorem
theorem Th48:
theorem Th49:
theorem
theorem
theorem
begin
theorem
theorem Th54:
theorem Th55:
theorem Th56:
theorem
theorem Th58:
theorem
:: deftheorem CFCONT_1:def 3 :
canceled;
:: deftheorem CFCONT_1:def 4 :
canceled;
:: deftheorem Def5 defines is_continuous_on CFCONT_1:def 5 :
theorem Th60:
theorem Th61:
theorem Th62:
theorem Th63:
theorem
theorem Th65:
theorem
theorem Th67:
theorem
theorem Th69:
theorem
theorem
theorem
:: deftheorem Def6 defines compact CFCONT_1:def 6 :
theorem Th73:
theorem