Nuprl - Proof: exp zero 1

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

1. m :

True

exp(m;0-1) = 1

By:	Analyze -1

Generated subgoals:

None

About:

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