% SZS status Theorem for poset__tra
% SZS output start Proof for poset__tra
  file('i/f/poset/poset__trans',ch4s_posets_posetu_u_trans)).
  file('i/f/poset/poset__trans',ah4s_posets_posetu_u_def)).
% SZS output end Proof for poset__tra
