IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
firstn map1 1. f : TopTop
l:Top List. firstn(0;map(f;l)) ~ map(f;firstn(0;l))
By:
(UnivCD THEN (RWO Thm*L:Top List. firstn(0;L) ~ nil 0)) THEN Reduce 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Top
l:Top List. firstn(0;map(f;l)) ~ map(f;firstn(0;l))
