graph
1
2
Sections
Graphs
Doc
Def
(
x
L.P(x)) ==
x:T. (x
L)
P(x)
is mentioned by
Def
L1-G- > *L2 == (
x
L2.L1-G- > *x)
[list-list-connect]
In prior sections:
mb
list
2
Try larger context:
Graphs
graph
1
2
Sections
Graphs
Doc
x
L2.L1-G- > *x)xL.P(x)) == x:T. (x L) 
P(x)
xL2.L1-G- > *x)