% SZS status Theorem for UNIT__UNCUR
% SZS output start Proof for UNIT__UNCUR
  file('i/f/state_transformer/UNIT__UNCURRY',ch4s_stateu_u_transformers_UNITu_u_UNCURRY)).
  file('i/f/state_transformer/UNIT__UNCURRY',ah4s_pairs_PAIR)).
  file('i/f/state_transformer/UNIT__UNCURRY',ah4s_stateu_u_transformers_UNITu_u_DEF)).
  file('i/f/state_transformer/UNIT__UNCURRY',ah4s_pairs_UNCURRYu_u_VAR)).
% SZS output end Proof for UNIT__UNCUR
