PrintForm
Definitions
graph
1
2
Sections
Graphs
Doc
At:
divides-graph2
wf
DivGraph_2
Graph
By:
Unfold `divides-graph2` 0
THEN
Easy
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
2
Sections
Graphs
Doc