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

At: connect weakening 1
1. the_graph: Graph
2. x: Vertices(the_graph)
3. y: Vertices(the_graph)
4. x = y
last([x]) = y
By: Obvious
Generated subgoals:

None

About:
consnilequal

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