(9steps total) Gloss PrintForm Definitions NumThyExamples Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: stamps why 8cents 1 1
1. m : 
2. n : 
3. 3m+5n = 7
4. m  3
5. n  2
  False
By: IntSegElim Hyp:4 THEN IntSegElim Hyp:5

Generated subgoals:

1 6. m = 0  3
7. n = 0  2
  False
Auto
2 6. m = 0  3
7. n = 1  2
  False
Auto
3 6. m = 1  3
7. n = 0  2
  False
Auto
4 6. m = 1  3
7. n = 1  2
  False
Auto
5 6. m = 2  3
7. n = 0  2
  False
Auto
6 6. m = 2  3
7. n = 1  2
  False
Auto

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

(9steps total) Gloss PrintForm Definitions NumThyExamples Sections NuprlLIB Doc