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