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

At: dfs accum member 1 2
1. the_graph: Graph
2. the_obj: GraphObject(the_graph)
3. l: Vertices(the_graph) List
4. s: traversal(the_graph)
l_disjoint(Vertices(the_graph)+Vertices(the_graph);nil;s)
By: Obvious
Generated subgoals:

None

About:
listnilunion

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