Nuprl - Proof: mul cancel in eq1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: mul cancel in eq1

a,b:

, n:

. n

a = n

a = b

By:	Repeat Analyze ...

Generated subgoal:

1 1. a :
2. b :
3. n :
4. na = nb
a = b
1 step

About:

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