begin
theorem
theorem Th2:
:: deftheorem NFCONT_1:def 1 :
canceled;
:: deftheorem Def2 defines ||. NFCONT_1:def 2 :
:: deftheorem Def3 defines Neighbourhood NFCONT_1:def 3 :
theorem Th3:
theorem Th4:
:: deftheorem Def4 defines compact NFCONT_1:def 4 :
:: deftheorem defines closed NFCONT_1:def 5 :
:: deftheorem defines open NFCONT_1:def 6 :
:: deftheorem NFCONT_1:def 7 :
canceled;
:: deftheorem NFCONT_1:def 8 :
canceled;
:: deftheorem Def9 defines is_continuous_in NFCONT_1:def 9 :
:: deftheorem Def10 defines is_continuous_in NFCONT_1:def 10 :
theorem Th5:
theorem Th6:
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th14:
theorem Th15:
theorem Th16:
theorem Th17:
theorem
theorem Th19:
theorem Th20:
theorem Th21:
theorem
theorem Th23:
theorem
:: deftheorem Def11 defines is_continuous_on NFCONT_1:def 11 :
:: deftheorem Def12 defines is_continuous_on NFCONT_1:def 12 :
theorem Th25:
theorem Th26:
theorem
theorem
theorem Th29:
theorem Th30:
theorem
theorem Th32:
theorem
theorem Th34:
theorem Th35:
theorem
theorem Th37:
theorem Th38:
theorem
theorem Th40:
theorem Th41:
theorem Th42:
theorem
theorem
:: deftheorem Def13 defines is_Lipschitzian_on NFCONT_1:def 13 :
:: deftheorem Def14 defines is_Lipschitzian_on NFCONT_1:def 14 :
theorem Th45:
theorem
theorem
theorem Th48:
theorem
theorem Th50:
theorem
theorem Th52:
theorem Th53:
theorem
theorem
theorem Th56:
theorem
theorem
theorem
theorem Th60:
theorem