(12steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

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