% SZS status Theorem for IM__DIV__MODU__ASN__BOUN
% SZS output start Proof for IM__DIV__MODU__ASN__BOUN
  file('i/f/complex/IM__DIV__MODU__ASN__BOUNDS',ah4s_complexs_IMu_u_DIVu_u_MODUu_u_BOUNDS)).
  file('i/f/complex/IM__DIV__MODU__ASN__BOUNDS',ah4s_transcs_ASNu_u_BOUNDS)).
  file('i/f/complex/IM__DIV__MODU__ASN__BOUNDS',ch4s_complexs_IMu_u_DIVu_u_MODUu_u_ASNu_u_BOUNDS)).
% SZS output end Proof for IM__DIV__MODU__ASN__BOUN
