PrimesSquareRoots Sections DiscrMathExt Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
An example of the two step rewrite

(pp = aqq) to (qq = ap'p')

and then

(qq = ap'p') to (p'p' = aq'q')

would be rewriting

(66 = 288) to (88 = 233)

and then

(88 = 233) to (33 = 244)

(BACK)

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

PrimesSquareRoots Sections DiscrMathExt Doc