% SZS status Theorem for POW__EQNS_
% SZS output start Proof for POW__EQNS_
  file('i/f/pred_set/POW__EQNS_c1',ch4s_predu_u_sets_POWu_u_EQNSu_c1)).
  file('i/f/pred_set/POW__EQNS_c1',ah4s_bools_LETu_u_THM)).
  file('i/f/pred_set/POW__EQNS_c1',ah4s_predu_u_sets_POWu_u_INSERT)).
% SZS output end Proof for POW__EQNS_
