Nuprl - Proof: factors bound 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: factors bound 2

i,j:

. i

j
2. i :

3. j :

By:	BackThru: 1 ...w

Generated subgoals:

None

About:

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