Nuprl - Proof: mul cancel in le 1

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

1. a :

2. b :

3. n :

4. n

By:	SimilarTo: Hyp:-1

Generated subgoal:

1 4. b<a
nb<na
1 step

About:

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