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

At: connect weakening 2
1. the_graph: Graph
2. x: Vertices(the_graph)
3. y: Vertices(the_graph)
4. x = y
5. p: Vertices(the_graph) List
6. 0 < ||p||
7. i:(||p||-1). p[i]-the_graph- > p[(i+1)]
null(p)
By: Obvious
Generated subgoals:

None

About:
listassertnatural_numberaddsubtractless_thanequalall

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