% SZS status Theorem for map__t
% SZS output start Proof for map__t
  file('i/f/fmaptree/map__thm',ch4s_fmaptrees_mapu_u_thm)).
  file('i/f/fmaptree/map__thm',ah4s_fmaptrees_FTNodeu_u_11)).
  file('i/f/fmaptree/map__thm',ah4s_fmaptrees_itemu_u_mapu_u_def)).
% SZS output end Proof for map__t
