% SZS status Theorem for EQ__SYM__
% SZS output start Proof for EQ__SYM__
  file('i/f/bool/EQ__SYM__EQ',ch4s_bools_EQu_u_SYMu_u_EQ)).
% SZS output end Proof for EQ__SYM__
