Nuprl - Proof: nat factor cancel rw

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat factor cancel rw

a,b:

, n:

. n

By:

Auto

Generated subgoals:

1 1. a :
2. b :
3. n :
4. nanb
ab
1 step

2 1. a :
2. b :
3. n :
4. ab
nanb
1 step

About:

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

1	1. a : 2. b : 3. n : 4. nanb ab	1 step
2	1. a : 2. b : 3. n : 4. ab nanb	1 step