Nuprl - Proof: qmul functionality 1 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: qmul functionality 1 1 1 1

1. p1 :

2. p2 :

3. q1 :

4. q2 :

5. r1 :

6. r2 :

7. s1 :

8. s2 :

q2 = q1

s2 = s1

s2 = q1

By:

UnivCD

Generated subgoal:

1 9. p1q2 = q1p2
10. r1s2 = s1r2
p1r1q2s2 = q1s1p2r2
1 step

About:

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