PrintForm Definitions mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: map-map
  as:Top List, f,g:Top. map(g;map(f;as)) ~ map(g o f;as)
By: InductionOnList THEN Reduce 0 THEN UnivCD THEN Analyze THEN Try Trivial
THEN
BackThruSomeHyp

Generated subgoals:

None

About:
listsqequaltopall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 1 Sections EventSystems Doc