% SZS status Theorem for SUBMAP__RE
% SZS output start Proof for SUBMAP__RE
  file('i/f/finite_map/SUBMAP__REFL',ah4s_finiteu_u_maps_SUBMAPu_u_DEF)).
  file('i/f/finite_map/SUBMAP__REFL',ch4s_finiteu_u_maps_SUBMAPu_u_REFL)).
% SZS output end Proof for SUBMAP__RE
