Nuprl - graph_1_3 Citations of mapoutl

Def mapoutl(s) == mapfilter(

x.outl(x);

x.isl(x);s)

is mentioned by

Def topsortl(A;L) == mapoutl(dfsl(A;L)) [topsortl]

Def topsort(G) == mapoutl(depthfirst(G)) [topsort]

In prior sections: graph 1 1

Try larger context: Graphs

`Def topsortl(A;L) == mapoutl(dfsl(A;L))`	[topsortl]
`Def topsort(G) == mapoutl(depthfirst(G))`	[topsort]