Skip to content

Commit

Permalink
Fix erroneous reference
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 23, 2019
1 parent 21e13df commit 4c7dd2d
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
3 changes: 2 additions & 1 deletion CONTRIBUTORS
Original file line number Diff line number Diff line change
Expand Up @@ -47,13 +47,14 @@ Filip Chindea
Chung Ching
Nava Chitrik
Fraser Chiu
Kat Christianson
Dustin Clausen
J\'er\'emy Cochoy
Johan Commelin
Brian Conrad
David Corwin
Peadar Coyle
Kat Christianson
Moises Herradon Cueto
Marco D'Addezio
Rankeya Datta
Aise Johan de Jong
Expand Down
2 changes: 1 addition & 1 deletion dualizing.tex
Original file line number Diff line number Diff line change
Expand Up @@ -2204,7 +2204,7 @@ \section{Trivial duality for a ring map}

\begin{proof}
This is a consequence of the fact that restriction and $\Hom_A(B, -)$ are
adjoint functors by Algebra, Lemma \ref{algebra-lemma-adjoint-tensor-restrict}.
adjoint functors by Algebra, Lemma \ref{algebra-lemma-adjoint-hom-restrict}.
See Derived Categories, Lemma \ref{derived-lemma-derived-adjoint-functors}.
\end{proof}

Expand Down

0 comments on commit 4c7dd2d

Please sign in to comment.