% SZS status Theorem for exists__eq__t
% SZS output start Proof for exists__eq__t
  file('i/f/ConseqConv/exists__eq__thm',ch4s_ConseqConvs_existsu_u_equ_u_thm)).
% SZS output end Proof for exists__eq__t
