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

At: dfsl-properties 2 1 3 2 1 2 1 2 2 1 1
1. the_graph: Graph
2. i: Vertices(the_graph)
3. [i] = nil
nil = nil Vertices(the_graph) List nil = nil Vertices(the_graph) List
By: Obvious
Generated subgoals:

None

About:
listconsnilequalor

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