% SZS status Theorem for partial__order__reln__to__rel__conv__UN
% SZS output start Proof for partial__order__reln__to__rel__conv__UN
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',aHLu_BOOLu_CASES)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ch4s_setu_u_relations_partialu_u_orderu_u_relnu_u_tou_u_relu_u_convu_u_UNIV)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_bools_IMPu_u_CONG)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_setu_u_relations_RREFLu_u_EXPu_u_UNIV)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_relations_RSUBSET0)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_setu_u_relations_RRUNIVu_u_def)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_predu_u_sets_INu_u_UNIV)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_setu_u_relations_partialu_u_orderu_u_relnu_u_tou_u_relu_u_conv)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',ah4s_bools_TRUTH)).
  file('i/f/set_relation/partial__order__reln__to__rel__conv__UNIV',aHLu_FALSITY)).
% SZS output end Proof for partial__order__reln__to__rel__conv__UN
