summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-04-09 17:25:32 +0200
committerDavid A. Madore <david+git@madore.org>2016-04-09 17:25:32 +0200
commit027ce9f779c8a65c99cfdc062465808d842c06d1 (patch)
tree626f1363a298e4cc033f11bb0386fdfe478540b6
parente1056d44b3ef4dcd822a457011bbac1b1e484ed0 (diff)
downloadaccq205-027ce9f779c8a65c99cfdc062465808d842c06d1.tar.gz
accq205-027ce9f779c8a65c99cfdc062465808d842c06d1.tar.bz2
accq205-027ce9f779c8a65c99cfdc062465808d842c06d1.zip
Further modification made necessary by previous edit.
-rw-r--r--old-notes.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/old-notes.tex b/old-notes.tex
index 80146e7..56bb075 100644
--- a/old-notes.tex
+++ b/old-notes.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}