begin
:: deftheorem Def1 defines is_continuous_in FCONT_1:def 1 :
theorem Th1:
theorem
theorem Th3:
theorem Th4:
theorem Th5:
theorem
theorem Th7:
theorem Th8:
theorem
theorem Th10:
theorem
theorem Th12:
:: deftheorem Def2 defines continuous FCONT_1:def 2 :
theorem
canceled;
theorem Th14:
theorem Th15:
theorem
theorem Th17:
theorem
theorem Th19:
theorem
theorem Th21:
theorem
theorem Th23:
theorem
theorem
theorem
theorem
theorem
theorem Th29:
theorem
theorem Th31:
theorem
:: deftheorem Def3 defines Lipschitzian FCONT_1:def 3 :
theorem Th33:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th49:
theorem
theorem Th51:
theorem
theorem Th53:
theorem