$\mathfrak{p}$ is not introduced as a prime of $R$.

"Hence, since $I/I^2$ is free of rank $c$ we see that it dimension $n-c$..." Maybe something like "Hence, since $I/I^2$ is free of rank $c$ we see that our standard smooth algebra has dimension $n-c$..."?

Because comments are subject to the same conversion, your comment seems to make little sense to anyone but me. But there are actually 2 different lines of source code there.

]]>`{\rm Quot}`

. In general, XyJax does not like this `{\rm ...}`

for making roman text in its diagrams. See Tag 09BX for another instance.
]]>