% SZS status Theorem for IM__DIV__MODU__ASN__S
% SZS output start Proof for IM__DIV__MODU__ASN__S
  file('i/f/complex/IM__DIV__MODU__ASN__SIN',ch4s_complexs_IMu_u_DIVu_u_MODUu_u_ASNu_u_SIN)).
  file('i/f/complex/IM__DIV__MODU__ASN__SIN',ah4s_complexs_IMu_u_DIVu_u_MODUu_u_BOUNDS)).
  file('i/f/complex/IM__DIV__MODU__ASN__SIN',ah4s_transcs_ASNu_u_SIN)).
% SZS output end Proof for IM__DIV__MODU__ASN__S
