% SZS status Theorem for LIST__TO__SET__REVER
% SZS output start Proof for LIST__TO__SET__REVER
  file('i/f/list/LIST__TO__SET__REVERSE',ch4s_lists_LISTu_u_TOu_u_SETu_u_REVERSE)).
  file('i/f/list/LIST__TO__SET__REVERSE',ah4s_predu_u_sets_EXTENSION)).
  file('i/f/list/LIST__TO__SET__REVERSE',ah4s_lists_MEMu_u_REVERSE)).
% SZS output end Proof for LIST__TO__SET__REVER
