Nuprl - Proof: le mul rt by pos 1

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

1. x :

2. y :

3. z :

4. x

By:	FwdThru: Thm* i1,i2,j1,j2:. i1j1 i2j2 i1i2j1j2 on [ xy \| 1z ] ...

Generated subgoals:

None

About:

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