Nuprl - Proof: eq int is eq nsub

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: eq int is eq nsub

. IsEqFun(

i,j. i=

By:

Auto

Generated subgoal:

1 1. b :
IsEqFun(b;i,j. i=j)
2 steps

About:

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