(12steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: coprime iff ndivides 2
1. a : 
2. p : 
3. prime(p)
4. p | a
  CoPrime(p,a)
By: (BackThru Thm* a,b:. (c:. c | a  c | b  c | 1)  CoPrime(a,b))
THEN
RepD

Generated subgoal:

1 5. c : 
6. c | p
7. c | a
  c | 1
5 steps

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

(12steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc