Nuprl - Proof: concat map upto 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: concat map upto 2

1. T : Type
2. f :

(T List)
3. t :

4. t' :

5. t<t'

concat(map(f;upto(t+1)))

concat(map(f;upto(t')))

By:	BackThru Thm* ll1,ll2:(T List) List. ll1 ll2 concat(ll1) concat(ll2)

Generated subgoal:

1 map(f;upto(t+1)) map(f;upto(t'))
2 steps

About:

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