begin
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th6:
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th13:
theorem Th14:
theorem
theorem Th16:
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem Th23:
theorem Th24:
theorem
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
canceled;
theorem
canceled;
theorem
theorem Th41:
theorem
:: deftheorem RFUNCT_2:def 1 :
canceled;
:: deftheorem Def2 defines increasing RFUNCT_2:def 2 :
:: deftheorem Def3 defines decreasing RFUNCT_2:def 3 :
:: deftheorem Def4 defines non-decreasing RFUNCT_2:def 4 :
:: deftheorem Def5 defines non-increasing RFUNCT_2:def 5 :
theorem Th43:
theorem Th44:
theorem Th45:
theorem Th46:
:: deftheorem Def6 defines monotone RFUNCT_2:def 6 :
theorem
canceled;
theorem Th48:
theorem Th49:
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
canceled;
theorem
theorem
theorem
theorem
theorem
theorem Th64:
theorem
theorem Th66:
theorem
theorem Th68:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem