% SZS status Theorem for forall__eq__t
% SZS output start Proof for forall__eq__t
  file('i/f/ConseqConv/forall__eq__thm',ch4s_ConseqConvs_forallu_u_equ_u_thm)).
% SZS output end Proof for forall__eq__t
