% SZS status Theorem for ONE__RP
% SZS output start Proof for ONE__RP
  file('i/f/transc/ONE__RPOW',ch4s_transcs_ONEu_u_RPOW)).
  file('i/f/transc/ONE__RPOW',ah4s_transcs_EXPu_u_0)).
  file('i/f/transc/ONE__RPOW',ah4s_reals_REALu_u_MULu_u_RZERO)).
  file('i/f/transc/ONE__RPOW',ah4s_transcs_LNu_u_1)).
  file('i/f/transc/ONE__RPOW',ah4s_transcs_rpowu_u_def)).
% SZS output end Proof for ONE__RP
