% SZS status Theorem for POW__ZERO__
% SZS output start Proof for POW__ZERO__
  file('i/f/real/POW__ZERO__EQ',ch4s_reals_POWu_u_ZEROu_u_EQ)).
  file('i/f/real/POW__ZERO__EQ',ah4s_reals_POWu_u_ZERO)).
  file('i/f/real/POW__ZERO__EQ',ah4s_reals_POWu_u_0)).
% SZS output end Proof for POW__ZERO__
