% SZS status Theorem for SAME__KEY__UPDATES__DIFF
% SZS output start Proof for SAME__KEY__UPDATES__DIFF
  file('i/f/finite_map/SAME__KEY__UPDATES__DIFFER',ch4s_finiteu_u_maps_SAMEu_u_KEYu_u_UPDATESu_u_DIFFER)).
  file('i/f/finite_map/SAME__KEY__UPDATES__DIFFER',ah4s_finiteu_u_maps_FAPPLYu_u_FUPDATE)).
% SZS output end Proof for SAME__KEY__UPDATES__DIFF
