% SZS status Theorem for MEASURABLE__UP__SUBS
% SZS output start Proof for MEASURABLE__UP__SUBS
  file('i/f/measure/MEASURABLE__UP__SUBSET',ah4s_measures_MEASURABLEu_u_UPu_u_LIFT)).
  file('i/f/measure/MEASURABLE__UP__SUBSET',ah4s_predu_u_sets_SUBSETu_u_DEF)).
  file('i/f/measure/MEASURABLE__UP__SUBSET',ch4s_measures_MEASURABLEu_u_UPu_u_SUBSET)).
% SZS output end Proof for MEASURABLE__UP__SUBS
