Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
What must be included
A finite certificate format and exact arithmetic › What must be included · lines 713–717
A finite rule is allowed here only when its expansion is specified completely. “Apply the factoring subroutine” is not such a rule.