Definitions
graph
1
2
Sections
Graphs
Doc
Some definitions of interest.
divides-graph2
Def
DivGraph_2 == Graph(i:
-- > i
n | n:
)
graph
Def
Graph == v:Type
e:Type
(e
v
v)
Top
Thm* Graph
Type{i'}
About:
Definitions
graph
1
2
Sections
Graphs
Doc
-- > i
n | n:)
e:Type(e
vv)Top
Type{i'} -- > in | n:)e:Type(evv)Top Type{i'}
