Nuprl - Proof: eval factorization not one 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: eval factorization not one 1 1

1. a : {2...}
2. b :

3. f : {a..b

}

(

i:{a..b

}. f(i) = 0)
5.

(

i:{a..b

f(i) = 0)

i:{a..b

f(i) = 0

By:	Analyze4 ...

Generated subgoal:

1 4. (i:{a..b}. f(i) = 0)
5. i : {a..b}
f(i) = 0
2 steps

About:

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