graph
1
3
Sections
Graphs
Doc
Def
t.obj == 2of(2of(t))
is mentioned by
Def
For any graph representationP(the_graph;the_obj) ==
R:Graph Representation, r:R.type. P(R.graph(r);R.obj(r))
[allgrep]
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc