% SZS status Theorem for RPOW__
% SZS output start Proof for RPOW__
  file('i/f/transc/RPOW__NZ',ch4s_transcs_RPOWu_u_NZ)).
  file('i/f/transc/RPOW__NZ',ah4s_transcs_rpowu_u_def)).
  file('i/f/transc/RPOW__NZ',ah4s_transcs_EXPu_u_NZ)).
% SZS output end Proof for RPOW__
