is mentioned by

Thm* t:Graph. t.o Top	[gr_o_wf]
Def Graph == v:Typee:Type(evv)Top	[graph]

In prior sections: mb list 1 graph 1 1 mb basic

Try larger context: Graphs