Nuprl - Proof: stamps why 8cents

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: stamps why 8cents

(

m,n:

. 3

m+5

n = 7)

By:	Analyze THEN ExistHD Hyp:-1

Generated subgoal:

1 1. m :
2. n :
3. 3m+5n = 7
False
8 steps

About:

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