Nuprl - Proof: ndiff id r 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ndiff id r 1

1. a :

imax(a-0;0) = a

By:	ElimImaxmin Auto 0

Generated subgoal:

1 a-0 = a
Auto

About:

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