From b316602c66ef8b71da7bd767fb5cc24b614a34ec Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Sat, 9 Apr 2016 17:26:42 +0200 Subject: Further modification made necessary by previous edit. --- notes-geoalg-2010.tex | 4 ++-- notes-geoalg-2011.tex | 4 ++-- notes-geoalg-2012.tex | 4 ++-- 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} -- cgit v1.2.3