(14steps total) PrintForm Definitions Lemmas mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: edge-to
  G:(Id), to,from:(|G|(IdLnk List)), e:Edge(G), i:|G|.
  bi-graph(G;to;from)  ((e  to(i))  destination(e) = i)
By: MaAuto

Generated subgoals:

1 1. G : Id
2. to : |G|(IdLnk List)
3. from : |G|(IdLnk List)
4. e : Edge(G)
5. i : |G|
6. bi-graph(G;to;from)
7. (e  to(i))
  destination(e) = i
4 steps
2 1. G : Id
2. to : |G|(IdLnk List)
3. from : |G|(IdLnk List)
4. e : Edge(G)
5. i : |G|
6. bi-graph(G;to;from)
7. destination(e) = i
  (e  to(i))
9 steps

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

(14steps total) PrintForm Definitions Lemmas mb event system 7 Sections EventSystems Doc