% SZS status Theorem for STRONG__MEASURE__SPACE__SUBS
% SZS output start Proof for STRONG__MEASURE__SPACE__SUBS
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ah4s_measures_measurableu_u_setsu_u_def)).
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ah4s_measures_mu_u_spaceu_u_def)).
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ah4s_measures_measureu_u_def)).
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ah4s_measures_MEASUREu_u_DOWN)).
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ch4s_measures_STRONGu_u_MEASUREu_u_SPACEu_u_SUBSET)).
  file('i/f/measure/STRONG__MEASURE__SPACE__SUBSET',ah4s_measures_POWu_u_SIGMAu_u_ALGEBRA)).
% SZS output end Proof for STRONG__MEASURE__SPACE__SUBS
