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

At: list-list-connect weakening 1
1. the_graph: Graph
2. A: Vertices(the_graph) List
3. B: Vertices(the_graph) List
4. A = B
B A
By: Obvious
Generated subgoals:

None

About:
listequal

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