mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def (f o g)(x) == f(g(x))

is mentioned by

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

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

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

mb event system 1 Sections EventSystems Doc