% SZS status Theorem for MONOTONE__CONVERGENC
% SZS output start Proof for MONOTONE__CONVERGENC
  file('i/f/measure/MONOTONE__CONVERGENCE2',ah4s_measures_MONOTONEu_u_CONVERGENCE)).
  file('i/f/measure/MONOTONE__CONVERGENCE2',ch4s_measures_MONOTONEu_u_CONVERGENCE2)).
% SZS output end Proof for MONOTONE__CONVERGENC
