Definitions
graph
1
3
Sections
Graphs
Doc
Some definitions of interest.
gr_v
Def
Vertices(t) == 1of(t)
Thm*
t:Graph. Vertices(t)
Type
graph
Def
Graph == v:Type
e:Type
(e
v
v)
Top
Thm* Graph
Type{i'}
About:
Definitions
graph
1
3
Sections
Graphs
Doc
t:Graph. Vertices(t) 
Type
e:Type(e
vv)Top Type{i'}t:Graph. Vertices(t) Typee:Type(evv)Top Type{i'}
