% SZS status Theorem for POLY__DIFFERENTIAB
% SZS output start Proof for POLY__DIFFERENTIAB
  file('i/f/poly/POLY__DIFFERENTIABLE',ah4s_polys_POLYu_u_DIFF)).
  file('i/f/poly/POLY__DIFFERENTIABLE',ah4s_lims_differentiable0)).
  file('i/f/poly/POLY__DIFFERENTIABLE',ch4s_polys_POLYu_u_DIFFERENTIABLE)).
% SZS output end Proof for POLY__DIFFERENTIAB
