begin
theorem Th1:
theorem Th2:
theorem Th3:
theorem Th4:
theorem Th5:
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
theorem
theorem Th14:
:: deftheorem Def1 defines carr LATSUBGR:def 1 :
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th18:
theorem
theorem
theorem
theorem
theorem Th23:
theorem
:: deftheorem Def2 defines meet LATSUBGR:def 2 :
theorem
theorem
theorem Th27:
theorem Th28:
theorem
theorem Th30:
theorem
theorem
:: deftheorem Def3 defines FuncLatt LATSUBGR:def 3 :
theorem
theorem
theorem
theorem Th36:
theorem Th37:
theorem