Nuprl - Proof: decidable nat equal

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable nat equal

i,j:

. Dec(i = j)

By:	Def of Dec(i = j )

Generated subgoals:

None

About:

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