% SZS status Theorem for FUNION__EQ__IM
% SZS output start Proof for FUNION__EQ__IM
  file('i/f/finite_map/FUNION__EQ__IMPL',ch4s_finiteu_u_maps_FUNIONu_u_EQu_u_IMPL)).
% SZS output end Proof for FUNION__EQ__IM
