% SZS status Theorem for RE__DIV__MODU__ACS__BOUN
% SZS output start Proof for RE__DIV__MODU__ACS__BOUN
  file('i/f/complex/RE__DIV__MODU__ACS__BOUNDS',ah4s_complexs_REu_u_DIVu_u_MODUu_u_BOUNDS)).
  file('i/f/complex/RE__DIV__MODU__ACS__BOUNDS',ah4s_transcs_ACSu_u_BOUNDS)).
  file('i/f/complex/RE__DIV__MODU__ACS__BOUNDS',ch4s_complexs_REu_u_DIVu_u_MODUu_u_ACSu_u_BOUNDS)).
% SZS output end Proof for RE__DIV__MODU__ACS__BOUN
