Graphs
Sections
NuprlLIB
Doc
Def
vertex-subset(the_obj;x.P(x)) == the_obj.vacc((
l,x. if P(x)
[x / l] else l fi),nil)
is mentioned
In prior sections:
graph
1
3
Graphs
Sections
NuprlLIB
Doc
l,x. if P(x)
[x / l] else l fi),nil)