% SZS status Theorem for totoGLtra
% SZS output start Proof for totoGLtra
  file('i/f/toto/totoGLtrans',ch4s_totos_totoGLtrans)).
  file('i/f/toto/totoGLtrans',ah4s_totos_totou_u_antisym)).
  file('i/f/toto/totoGLtrans',ah4s_totos_totoLLtrans)).
% SZS output end Proof for totoGLtra
