graph 1 2 Sections Graphs Doc

Def non-trivial-loop-free(G) == i:Vertices(G). non-trivial-loop(G;i)

is not otherwise mentioned in this or prior sections.

Try larger context: Graphs

graph 1 2 Sections Graphs Doc