% SZS status Theorem for mlt__UNION__LCANCEL_
% SZS output start Proof for mlt__UNION__LCANCEL_
  file('i/f/bag/mlt__UNION__LCANCEL__I',ch4s_bags_mltu_u_UNIONu_u_LCANCELu_u_I)).
  file('i/f/bag/mlt__UNION__LCANCEL__I',ah4s_bags_COMMu_u_BAGu_u_UNION)).
  file('i/f/bag/mlt__UNION__LCANCEL__I',ah4s_bags_mltu_u_UNIONu_u_RCANCELu_u_I)).
% SZS output end Proof for mlt__UNION__LCANCEL_
