% SZS status Theorem for DEST__REC__I
% SZS output start Proof for DEST__REC__I
  file('i/f/ind_type/DEST__REC__INJ',ch4s_indu_u_types_DESTu_u_RECu_u_INJ)).
  file('i/f/ind_type/DEST__REC__INJ',ah4s_indu_u_types_recspaceu_u_repfnsu_c0)).
% SZS output end Proof for DEST__REC__I
