% SZS status Theorem for infinite__pow__uncountab
% SZS output start Proof for infinite__pow__uncountab
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_bools_IMPu_u_ANTISYMu_u_AX)).
  file('i/f/pred_set/infinite__pow__uncountable',ch4s_predu_u_sets_infiniteu_u_powu_u_uncountable)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_bools_IMPu_u_CLAUSESu_c4)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_powu_u_nou_u_surj)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_SURJu_u_COMPOSE)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_inju_u_surj)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_infiniteu_u_numu_u_inj)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_UNIVu_u_NOTu_u_EMPTY)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_countableu_u_surj)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_predu_u_sets_POWu_u_EMPTY)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_bools_IMPu_u_CONG)).
  file('i/f/pred_set/infinite__pow__uncountable',ah4s_bools_TRUTH)).
% SZS output end Proof for infinite__pow__uncountab
