summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-06-11 12:06:26 (GMT)
committerDavid A. Madore <david+git@madore.org>2012-06-11 12:06:26 (GMT)
commitfbbc459d4ae9c8adfcf391633668cf76da0cca75 (patch)
tree997b6d0c8b4906c269b099546b86428747e12aa2
parentf0ff0cff7813db523b3eab781d18e2af06d36d00 (diff)
downloadmdi349-fbbc459d4ae9c8adfcf391633668cf76da0cca75.zip
mdi349-fbbc459d4ae9c8adfcf391633668cf76da0cca75.tar.gz
mdi349-fbbc459d4ae9c8adfcf391633668cf76da0cca75.tar.bz2
Fix stupid thinko (quantified wrong variable) on all versions.
-rw-r--r--notes-geoalg-2010.tex4
-rw-r--r--notes-geoalg-2011.tex4
-rw-r--r--notes-geoalg-2012.tex4
3 files changed, 6 insertions, 6 deletions
diff --git a/notes-geoalg-2010.tex b/notes-geoalg-2010.tex
index a43ea85..b81d1a8 100644
--- a/notes-geoalg-2010.tex
+++ b/notes-geoalg-2010.tex
@@ -3957,8 +3957,8 @@ Soit $C$ une courbe (lisse) sur un corps $k$ :
\begin{itemize}
\item Pour tout $f \in k(C)$, il n'y a qu'un nombre fini de $P \in
C(k^{\alg})$ tels que $\ord_P(f) \neq 0$.
-\item Si $\ord_P(f) \geq 0$ pour tout $f$, alors $f \in k$ (la
- fonction est constante).
+\item Si $\ord_P(f) \geq 0$ pour tout $P \in C(k^{\alg})$, alors $f
+ \in k$ (la fonction est constante).
\end{itemize}
\end{prop}
\begin{proof}
diff --git a/notes-geoalg-2011.tex b/notes-geoalg-2011.tex
index 32baeca..bf64434 100644
--- a/notes-geoalg-2011.tex
+++ b/notes-geoalg-2011.tex
@@ -2239,8 +2239,8 @@ Soit $C$ une courbe (lisse) sur un corps $k$ :
\begin{itemize}
\item Pour tout $f \in k(C)$, il n'y a qu'un nombre fini de $P \in
C(k^{\alg})$ tels que $\ord_P(f) \neq 0$.
-\item Si $\ord_P(f) \geq 0$ pour tout $f$, alors $f \in k$ (la
- fonction est constante).
+\item Si $\ord_P(f) \geq 0$ pour tout $P \in C(k^{\alg})$, alors $f
+ \in k$ (la fonction est constante).
\end{itemize}
\end{prop}
\begin{proof}
diff --git a/notes-geoalg-2012.tex b/notes-geoalg-2012.tex
index b98417b..53bd1d9 100644
--- a/notes-geoalg-2012.tex
+++ b/notes-geoalg-2012.tex
@@ -2964,8 +2964,8 @@ Soit $C$ une courbe (lisse) sur un corps $k$ :
\begin{itemize}
\item Pour tout $f \in k(C)$, il n'y a qu'un nombre fini de $P \in
C(k^{\alg})$ tels que $\ord_P(f) \neq 0$.
-\item Si $\ord_P(f) \geq 0$ pour tout $f$, alors $f \in k$ (la
- fonction est constante).
+\item Si $\ord_P(f) \geq 0$ pour tout $P \in C(k^{\alg})$, alors $f
+ \in k$ (la fonction est constante).
\end{itemize}
\end{prop}
\begin{proof}