Skip to content

Commit

Permalink
Fix typo in quot
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 22, 2019
1 parent 0208c6b commit a3b42b2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Original file line number Diff line number Diff line change
Expand Up @@ -122,6 +122,7 @@ Daniel Heiss
Jeremiah Heller
Reimundo Heluani
Kristen Hendricks
Aron Heleodoro
Christian Hildebrandt
Fraser Hiu
Quoc P. Ho
Expand Down
2 changes: 1 addition & 1 deletion quot.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2173,7 +2173,7 @@ \section{The functor of quotients}
and whose image in $\mathcal{Q}'$ is the local section $\varphi(k)$ of
$\mathcal{Q} \otimes \mathcal{J}$. Then set
$\mathcal{Q}'_\varphi = \mathcal{F}_{T'}/\mathcal{K}'_\varphi$.
Conversely, any second lift of $x$ corresponds to one the
Conversely, any second lift of $x$ corresponds to one of the
qotients constructed in this manner. If we ever need this
remark we will turn this remark into a lemma, precisely formulate
the result and give a detailed proof (in fact, all of the above
Expand Down

0 comments on commit a3b42b2

Please sign in to comment.