Skip to content

Commit

Permalink
Add missing bullet
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Oct 6, 2017
1 parent d02ebdd commit 2de25ba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cohomology.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9247,7 +9247,7 @@ \section{Pseudo-coherent modules}
\begin{proof}
Let $\mathcal{F}^\bullet$ be any complex representing $E$
and let $X = \bigcup U_i$ and
$\alpha_i : \mathcal{E}_i \to E|_{U_i}$ be as in (1).
$\alpha_i : \mathcal{E}_i^\bullet \to E|_{U_i}$ be as in (1).
We will show that $\mathcal{F}^\bullet$ is $m$-pseudo-coherent
as a complex, which will prove (1) and (2) simultaneously.
By Lemma \ref{lemma-local-actual}
Expand Down

0 comments on commit 2de25ba

Please sign in to comment.