Nuprl - Proof: qmul functionality

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

p,q,r,s:

. p =q q

r =q s

p *q r =q q *q s

By:	RepeatMFor 4 (Analyze 0)

Generated subgoal:

1 1. p :
2. q :
3. r :
4. s :
p =q q r =q s p *q r =q q *q s
5 steps

About:

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