% SZS status Theorem for totoLGtra
% SZS output start Proof for totoLGtra
  file('i/f/toto/totoLGtrans',ch4s_totos_totoLGtrans)).
  file('i/f/toto/totoLGtrans',ah4s_totos_totoLLtrans)).
  file('i/f/toto/totoLGtrans',ah4s_totos_totou_u_antisym)).
% SZS output end Proof for totoLGtra
