% SZS status Theorem for IS__VALID__CLOSE
% SZS output start Proof for IS__VALID__CLOSE
  file('i/f/float/IS__VALID__CLOSEST',ah4s_floats_ISu_u_FINITEu_u_CLOSEST)).
  file('i/f/float/IS__VALID__CLOSEST',ch4s_floats_ISu_u_VALIDu_u_CLOSEST)).
  file('i/f/float/IS__VALID__CLOSEST',ah4s_ieees_isu_u_finite0)).
% SZS output end Proof for IS__VALID__CLOSE
