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