Nuprl - Proof: dfsl-traversal-nil 3 5

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

At: dfsl-traversal-nil 3 5

1. the_graph: Graph
2. j: Vertices(the_graph)
3. (inl(j) nil)

nil-the_graph- > *j

By: Obvious

Generated subgoals:

None

About:

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