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

At: depthfirst-df-traversal 2
1. the_graph: Graph
2. the_obj: GraphObject(the_graph)
paren(Vertices(the_graph);nil)
By: ObviousConcl
Generated subgoals:

None

About:
nil

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