% SZS status Theorem for fromPath__on
% SZS output start Proof for fromPath__on
  file('i/f/path/fromPath__onto',ah4s_paths_pathu_u_absrepu_u_bijectionsu_c1)).
  file('i/f/path/fromPath__onto',ch4s_paths_fromPathu_u_onto)).
  file('i/f/path/fromPath__onto',aHLu_TRUTH)).
% SZS output end Proof for fromPath__on
