Nuprl - Proof: factors bound

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

i,j:

. i

j & j

By:	i,j:. iij Asserted ...

Generated subgoals:

1 1. i :
2. j :
  iij
1 step

2 1. i,j:. iij
2. i :
3. j :
  iij
1 step

3 1. i,j:. iij
2. i :
3. j :
  jij
1 step

About:

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