% SZS status Theorem for ORWL__FUNION__T
% SZS output start Proof for ORWL__FUNION__T
  file('i/f/fmapal/ORWL__FUNION__THM',ah4s_fmapals_ORLu_u_FUNIONu_u_IMP)).
  file('i/f/fmapal/ORWL__FUNION__THM',ah4s_fmapals_ORWL0)).
  file('i/f/fmapal/ORWL__FUNION__THM',ch4s_fmapals_ORWLu_u_FUNIONu_u_THM)).
% SZS output end Proof for ORWL__FUNION__T
