Nuprl - Proof: divides iff div exact 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides iff div exact 2

1. a :

2. n :

3. (a

n = a

n | a

By:	Unfold `divides` 0

Generated subgoal:

1 c:. a = nc
1 step

About:

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