Nuprl - Proof: ite rw test

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ite rw test

, i:{1..n

0 = 0 &

n = 0

False

By:

UnivCD

Generated subgoal:

1 1. n :
2. {1..n}
3. 0 = 0 & n = 0
False
1 step

About:

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