mb automata 1 Sections GenAutomata Doc

Def map(f;as) == Case of as; nil nil ; a.as' [(f(a)) / map(f;as')] (recursive)

is mentioned by

Thm* as:A List, f,g:Top. map(g;map(f;as)) ~ map(g o f;as)[map_map_sq]

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

Try larger context: GenAutomata

mb automata 1 Sections GenAutomata Doc