Typo in "recursive functions"

[allen-liaoo]

Typo location:

OpenLogic/content/computability/recursive-functions/pr-functions.tex

Line 127 in 082b087

primitive recursive definition of $\Mult$ is can be put into the

What is the typo:

Prove Proposition 2.5 by showing that the primitive recursive definition of mult is can be put into the form...

Proposed correction:

Prove Proposition 2.5 by showing that the primitive recursive definition of mult can be put into the form...