is mentioned by

Thm* AdjListRep Graph Representation	[adjl-rep_wf]
Thm* t:Graph Representation. t.obj r:t.typeGraphObject(t.graph(r))	[grr_obj_wf]
Thm* t:Graph Representation. t.graph t.typeGraph	[grr_graph_wf]
Thm* t:Graph Representation. t.type Type	[grr_type_wf]
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