% SZS status Theorem for LET__RAT
% SZS output start Proof for LET__RAT
  file('i/f/bool/LET__RATOR',ch4s_bools_LETu_u_RATOR)).
  file('i/f/bool/LET__RATOR',ah4s_bools_LETu_u_THM)).
% SZS output end Proof for LET__RAT
