Nuprl - Proof: map equal 1 2

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

1. T : Type
2. T' : Type
3. a : T List
4. f : T

T'
5. g : T

T'
6.

. i<||a||

f(a[i]) = g(a[i])

. i<||map(f;a)||

map(f;a)[i] = map(g;a)[i]

By:	RAA UnivCD

Generated subgoal:

1 7. i :
8. i<||map(f;a)||
map(f;a)[i] = map(g;a)[i]
2 steps

About:

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