IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
map id2 1. A : Type
2. a : A 3. as : A List
4. map(Id;as) = as a.map(Id;as) = a.as
By:
RWW "4" 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
a.map(Id;as) = a.as
