% SZS status Theorem for tc__transiti
% SZS output start Proof for tc__transiti
  file('i/f/set_relation/tc__transitive',ah4s_setu_u_relations_transitiveu_u_def)).
  file('i/f/set_relation/tc__transitive',ch4s_setu_u_relations_tcu_u_transitive)).
  file('i/f/set_relation/tc__transitive',ah4s_setu_u_relations_tcu_u_rulesu_c1)).
% SZS output end Proof for tc__transiti
