begin
theorem
theorem Th2:
theorem
canceled;
theorem
theorem
theorem
theorem
:: deftheorem defines directed-sups-preserving YELLOW14:def 1 :
:: deftheorem Def2 defines Function-yielding YELLOW14:def 2 :
theorem
theorem
begin
theorem Th10:
theorem Th11:
theorem
theorem
theorem Th14:
theorem
theorem
theorem
theorem
begin
theorem
theorem
theorem
theorem
theorem
theorem Th24:
theorem Th25:
theorem Th26:
theorem
theorem
theorem
theorem Th30:
theorem
theorem Th32:
theorem
theorem
theorem
theorem
theorem
theorem Th38:
theorem Th39: