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: fun 1 list 1 mb nat mb list 1 mb list 2

Try larger context: GenAutomata