G:(Id), to,from:(|G|(IdLnk List)), l:Edge(G).
  bi-graph(G;to;from)  lnk-inv(l)  Edge(G)

1

1. G : Id 2. to : |G|(IdLnk List) 3. from : |G|(IdLnk List) 4. l : IdLnk 5. i:|G|. (l  from(i)) 6. bi-graph(G;to;from)   i:|G|. (lnk-inv(l)  from(i))

3 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html