% SZS status Theorem for MEASURE__SPACE__INCREASI
% SZS output start Proof for MEASURE__SPACE__INCREASI
  file('i/f/measure/MEASURE__SPACE__INCREASING',ah4s_measures_sigmau_u_algebrau_u_def)).
  file('i/f/measure/MEASURE__SPACE__INCREASING',ah4s_measures_ADDITIVEu_u_INCREASING)).
  file('i/f/measure/MEASURE__SPACE__INCREASING',ah4s_measures_MEASUREu_u_SPACEu_u_ADDITIVE)).
  file('i/f/measure/MEASURE__SPACE__INCREASING',ch4s_measures_MEASUREu_u_SPACEu_u_INCREASING)).
  file('i/f/measure/MEASURE__SPACE__INCREASING',ah4s_measures_measureu_u_spaceu_u_def)).
% SZS output end Proof for MEASURE__SPACE__INCREASI
