% SZS status Theorem for toPath__on
% SZS output start Proof for toPath__on
  file('i/f/path/toPath__onto',ah4s_paths_pathu_u_absrepu_u_bijectionsu_c0)).
  file('i/f/path/toPath__onto',ch4s_paths_toPathu_u_onto)).
% SZS output end Proof for toPath__on
