(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
  a,p:. prime(p)  (CoPrime(p,a)  p | a)
By: GenRepD

Generated subgoals:

1 1. a : 
2. p : 
3. prime(p)
4. CoPrime(p,a)
  p | a
5 steps
2 1. a : 
2. p : 
3. prime(p)
4. p | a
  CoPrime(p,a)
6 steps

About:
intimpliesall
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