Nuprl - Proof: qadd wf

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

p,q:

. p +q q

By:	Unfold `qadd` 0

Generated subgoal:

1 1. p :
2. q :
0<p.denq.den
2 steps

About:

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