Nuprl - Proof: mul cancel in eq 2 2

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

1. a :

2. b :

. n

a = n

a = b
4. n :

5. n

a = n

b
6.

0<n

a = b

By:	BackThru: Hyp:3 Using:[-n]

Generated subgoals:

None

About:

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