graph 1 2 Sections Graphs Doc

Def DivGraph_1 == Graph(i,j:. i | j)

is mentioned by

Thm* DivGraph_2 DivGraph_1[div-graph-iso]

Try larger context: Graphs

graph 1 2 Sections Graphs Doc