% SZS status Theorem for UNIV__SIGMA__ALGEB
% SZS output start Proof for UNIV__SIGMA__ALGEB
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ch4s_measures_UNIVu_u_SIGMAu_u_ALGEBRA)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_predu_u_sets_INu_u_UNIV)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_predu_u_sets_INu_u_POW)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_predu_u_sets_EXTENSION)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_predu_u_sets_SUBSETu_u_UNIV)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',aHLu_BOOLu_CASES)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_bools_IMPu_u_CONG)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_bools_TRUTH)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',ah4s_measures_POWu_u_SIGMAu_u_ALGEBRA)).
  file('i/f/measure/UNIV__SIGMA__ALGEBRA',aHLu_FALSITY)).
% SZS output end Proof for UNIV__SIGMA__ALGEB
