% SZS status Theorem for pow__rat_
% SZS output start Proof for pow__rat_
  file('i/f/real/pow__rat_c5',ch4s_reals_powu_u_ratu_c5)).
  file('i/f/real/pow__rat_c5',ah4s_reals_REALu_u_POWu_u_DIV)).
% SZS output end Proof for pow__rat_
