graph
1
3
Sections
Graphs
Doc
Def
(
x
L.P(x)) ==
x:T. (x
L) & P(x)
is mentioned
In prior sections:
mb
list
2
graph
1
2
Try larger context:
Graphs
graph
1
3
Sections
Graphs
Doc
x
L.P(x)) == x:T. (x L) & P(x)