Nuprl - graph_1_1 Citations of map

Def map(f;as) == Case of as; nil

nil ; a.as'

[(f(a)) / map(f;as')] (recursive)

is mentioned by

Thm* f:(TT'), x,y:T, s:T List. x before y s f(x) before f(y) map(f;s) [map_before]

Thm* f,g:Top, s:Top List. map(f;map(g;s)) ~ map(f o g;s) [map-map]

In prior sections: list 1 mb list 1 mb list 2

Try larger context: Graphs

graph 1 1 Sections Graphs Doc

`Thm* f:(TT'), x,y:T, s:T List. x before y s f(x) before f(y) map(f;s)`	[map_before]
`Thm* f,g:Top, s:Top List. map(f;map(g;s)) ~ map(f o g;s)`	[map-map]