% SZS status Theorem for rel__to__reln__sw
% SZS output start Proof for rel__to__reln__sw
  file('i/f/set_relation/rel__to__reln__swap',ch4s_setu_u_relations_relu_u_tou_u_relnu_u_swap)).
  file('i/f/set_relation/rel__to__reln__swap',ah4s_setu_u_relations_relu_u_tou_u_relnu_u_inv)).
  file('i/f/set_relation/rel__to__reln__swap',ah4s_setu_u_relations_relnu_u_tou_u_relu_u_inv)).
% SZS output end Proof for rel__to__reln__sw
