graph
1
1
Sections
Graphs
Doc
Def
Macro
< x,y > .P(x;y)(p) == P(1of(p);2of(p))
is not otherwise mentioned in this or prior sections.
Try larger context:
Graphs
graph
1
1
Sections
Graphs
Doc