IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mapc wf1112 1. A : Type
2. B : Type
3. f : AB 4. A List
5. u : A 6. v : A List
7. mapc(f)(v) B List
f(u).mapc(f)(v) B List
By:
Analyze
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
B
B List
f(u).mapc(f)(v) 
