% SZS status Theorem for reln__to__rel__a
% SZS output start Proof for reln__to__rel__a
  file('i/f/set_relation/reln__to__rel__app',ch4s_setu_u_relations_relnu_u_tou_u_relu_u_app)).
  file('i/f/set_relation/reln__to__rel__app',ah4s_setu_u_relations_relnu_u_tou_u_relu_u_def)).
% SZS output end Proof for reln__to__rel__a
