(3steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc

At: list-connect-append 2
1. the_graph: Graph
2. A: Vertices(the_graph) List
3. B: Vertices(the_graph) List
4. i: Vertices(the_graph)
5. (y:Vertices(the_graph). (y A) & y-the_graph- > *i) (y:Vertices(the_graph). (y B) & y-the_graph- > *i)
y:Vertices(the_graph). (y A) (y B) & y-the_graph- > *i
By:
Analyze -1
THEN
ParallelOp -1
THEN
Obvious
Generated subgoals:

None

About:
listandorexists

(3steps total) PrintForm Definitions Lemmas graph 1 2 Sections Graphs Doc