From b316602c66ef8b71da7bd767fb5cc24b614a34ec Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 9 Apr 2016 17:26:42 +0200
Subject: Further modification made necessary by previous edit.

---
 notes-geoalg-2010.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'notes-geoalg-2010.tex')

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}
 
-- 
cgit v1.2.3

