% SZS status Theorem for measure__t
% SZS output start Proof for measure__t
  file('i/f/prim_rec/measure__thm',ah4s_primu_u_recs_measureu_u_def)).
  file('i/f/prim_rec/measure__thm',ah4s_relations_invu_u_imageu_u_def)).
  file('i/f/prim_rec/measure__thm',ch4s_primu_u_recs_measureu_u_thm)).
% SZS output end Proof for measure__t
