Nuprl - Proof: lt mul rt by pos 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: lt mul rt by pos 1

1. x :

2. y :

3. z :

4. x<y

x<y

By:	Inst: Thm* x,y:, z:. xy xyz Using:[x+1 \| y \| z] ...

Generated subgoals:

None

About:

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