Nuprl - Proof: map2 wf 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: map2 wf 1 1

1. 'a : Type
2. 'b : Type
3. 'c : Type
4. f : 'a

'c
5. 'a List
6. l2 : 'b List

map2(f;nil;l2)

'c List

By:	RecUnfold `map2` 0 THEN Simp THEN StrongAuto

Generated subgoals:

None

About:

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