graph
1
2
Sections
Graphs
Doc
Def
Id == Id
is mentioned by
Def
Graph(x,y:T. R(x;y)) == < vertices = T, edges = {p:(T
T)| R(1of(p);2of(p)) }, incidence = Id >
[rel-graph]
In prior sections:
fun
1
list
1
graph
1
1
Try larger context:
Graphs
graph
1
2
Sections
Graphs
Doc
T)| R(1of(p);2of(p)) }, incidence = Id > T)| R(1of(p);2of(p)) }, incidence = Id >