begin
theorem Th1:
theorem Th2:
theorem
theorem Th4:
theorem Th5:
theorem Th6:
begin
theorem Th7:
theorem
theorem Th9:
theorem
theorem
theorem
theorem Th13:
theorem Th14:
theorem Th15:
:: deftheorem Def1 defines Int TDLAT_2:def 1 :
theorem Th16:
theorem
theorem Th18:
theorem Th19:
theorem Th20:
theorem
theorem Th22:
theorem
theorem
theorem
theorem Th26:
theorem
theorem Th28:
theorem Th29:
theorem
theorem Th31:
theorem Th32:
theorem Th33:
theorem Th34:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th49:
theorem Th50:
theorem Th51:
theorem Th52:
theorem
theorem
theorem
theorem
theorem Th57:
theorem Th58:
begin
theorem Th59:
theorem
theorem
theorem
theorem
theorem Th64:
:: deftheorem Def2 defines domains-family TDLAT_2:def 2 :
theorem Th65:
theorem Th66:
theorem Th67:
theorem Th68:
theorem Th69:
theorem Th70:
theorem Th71:
:: deftheorem Def3 defines closed-domains-family TDLAT_2:def 3 :
theorem Th72:
theorem Th73:
theorem Th74:
theorem
theorem Th76:
theorem Th77:
theorem Th78:
:: deftheorem Def4 defines open-domains-family TDLAT_2:def 4 :
theorem Th79:
theorem Th80:
theorem Th81:
theorem
theorem Th83:
theorem Th84:
theorem Th85:
begin
theorem Th86:
theorem Th87:
theorem
theorem Th89:
theorem Th90:
theorem Th91:
theorem Th92:
theorem Th93:
begin
theorem Th94:
theorem Th95:
theorem
theorem Th97:
theorem Th98:
theorem Th99:
theorem
theorem
theorem
theorem Th103:
theorem Th104:
theorem
theorem Th106:
theorem Th107:
theorem Th108:
theorem
theorem
theorem