% SZS status Theorem for FDOM__FUNIO
% SZS output start Proof for FDOM__FUNIO
  file('i/f/finite_map/FDOM__FUNION0',ch4s_finiteu_u_maps_FDOMu_u_FUNION0)).
  file('i/f/finite_map/FDOM__FUNION0',ah4s_finiteu_u_maps_FUNIONu_u_DEFu_c0)).
% SZS output end Proof for FDOM__FUNIO
