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

At: list-connect-append 1

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 B) & y-the_graph- > *i
(y:Vertices(the_graph). (y A) & y-the_graph- > *i) (y:Vertices(the_graph). (y B) & y-the_graph- > *i)

By:
ExRepD
THEN
ParallelOp -2
THEN
InstConcl [y]


Generated subgoals:

None

About:
listandorexists

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