% SZS status Theorem for FDOM__FUNI
% SZS output start Proof for FDOM__FUNI
  file('i/f/finite_map/FDOM__FUNION',ch4s_finiteu_u_maps_FDOMu_u_FUNION)).
  file('i/f/finite_map/FDOM__FUNION',ah4s_finiteu_u_maps_FUNIONu_u_DEFu_c0)).
% SZS output end Proof for FDOM__FUNI
