summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-09 17:26:42 +0200
committerDavid A. Madore <david+git@madore.org>2016-04-09 17:26:42 +0200
commitb316602c66ef8b71da7bd767fb5cc24b614a34ec (patch)
tree4013369fdcb1b83e47bbc0d6d78c3cdf0e48f1a8
parent359f923f64feddaae1b1a7dcdc24a152d2200533 (diff)
downloadmdi349-b316602c66ef8b71da7bd767fb5cc24b614a34ec.tar.gz
mdi349-b316602c66ef8b71da7bd767fb5cc24b614a34ec.tar.bz2
mdi349-b316602c66ef8b71da7bd767fb5cc24b614a34ec.zip
Further modification made necessary by previous edit.HEADupload-20160409master
-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 497ceba..5ec8882 100644
--- a/notes-geoalg-2010.tex
+++ b/notes-geoalg-2010.tex
@@ -4431,7 +4431,7 @@ k(C)$, on a
\begin{itemize}
\item $\ord_P(df/dt) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$
(i.e., $\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}
@@ -4467,7 +4467,7 @@ Pour $f \in k(C)$, on a
\begin{itemize}
\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$ (i.e.,
$\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}
diff --git a/notes-geoalg-2011.tex b/notes-geoalg-2011.tex
index 14f7685..c7ff749 100644
--- a/notes-geoalg-2011.tex
+++ b/notes-geoalg-2011.tex
@@ -2713,7 +2713,7 @@ k(C)$, on a
\begin{itemize}
\item $\ord_P(df/dt) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$
(i.e., $\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}
@@ -2749,7 +2749,7 @@ Pour $f \in k(C)$, on a
\begin{itemize}
\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$ (i.e.,
$\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}
diff --git a/notes-geoalg-2012.tex b/notes-geoalg-2012.tex
index 80146e7..56bb075 100644
--- a/notes-geoalg-2012.tex
+++ b/notes-geoalg-2012.tex
@@ -3497,7 +3497,7 @@ k(C)$, on a
\begin{itemize}
\item $\ord_P(df/dt) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$
(i.e., $\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df/dt) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}
@@ -3533,7 +3533,7 @@ Pour $f \in k(C)$, on a
\begin{itemize}
\item $\ord_P(df) = \ord_P(f)-1$ si $\ord_P(f) \neq 0$ dans $k$ (i.e.,
$\ord_P(f)$ n'est pas multiple de la caractéristique), et
-\item $\ord_P(df) \geq 0$ si $\ord_P(f) = 0$.
+\item $\ord_P(df) \geq 0$ si $\ord_P(f) \geq 0$.
\end{itemize}
\end{prop}