(7steps 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: prime divs prod
  p:. prime(p)  (a1,a2:. p | a1a2  p | a1  p | a2)
By: UnivCD

Generated subgoal:

1 1. p : 
2. prime(p)
3. a1 : 
4. a2 : 
5. p | a1a2
  p | a1  p | a2
6 steps

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

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