Nuprl - Proof: hinfinity ax 1 1

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

(

. y = x+1

)

By:	((Analyze 0) THEN (DTerm 0 -1)) THEN StrongAuto

Generated subgoal:

1 1. x:. 0 = x+1
False
1 step

About:

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