At:
dfsl-properties
2
1
3
2
1
2
1
2
2
1
3
1.
the_graph: Graph
2.
i: Vertices(the_graph)
3.
u: Vertices(the_graph)
4.
v: Vertices(the_graph) List
5.
[i] = [u / (v @ nil)]
nil = nil 
Vertices(the_graph) List 
[u / v] = nil
By:
Obvious
Generated subgoals:
None
About:
