Nuprl - Proof: only pm one divs one

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: only pm one divs one

. b | 1

b =

By:	Assert (b:. b \| 1 b = 1) THEN UnivCD

Generated subgoals:

1 1. b :
2. b | 1
  b = 1
4 steps

2 1. b:. b | 1  b = 1
2. b :
3. b | 1
  b =  1
5 steps

About:

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

1	1. b : 2. b \| 1 b = 1	4 steps
2	1. b:. b \| 1 b = 1 2. b : 3. b \| 1 b = 1	5 steps