From 2aa307848db7204eeea49097df413883b4116e27 Mon Sep 17 00:00:00 2001
From: Evan Chen <evan@evanchen.cc>
Date: Thu, 16 Nov 2023 15:03:31 -0500
Subject: [PATCH] fix(meromorphic): clarify Laurent is a requirement

Closes #324.
---
 tex/complex-ana/meromorphic.tex | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/tex/complex-ana/meromorphic.tex b/tex/complex-ana/meromorphic.tex
index 8a11e12e..6528deee 100644
--- a/tex/complex-ana/meromorphic.tex
+++ b/tex/complex-ana/meromorphic.tex
@@ -66,13 +66,11 @@ \section{Meromorphic functions}
 
 \begin{definition}
 	Let $f \colon U \to \CC$ as usual.
-	A \vocab{meromorphic} function is a
-	function which is holomorphic on $U$
+	A \vocab{meromorphic} function is a function which is holomorphic on $U$
 	except at an isolated set $S$ of points
 	(meaning it is holomorphic as a function $U \setminus S \to \CC$).
 	For each $p \in S$, called a \vocab{pole} of $f$,
-	the function $f$ must admit a \vocab{Laurent series},
-	meaning that
+	the function $f$ is further required to admit a \vocab{Laurent series}, meaning that
 	\[
 		f(z) =
 		\frac{c_{-m}}{(z-p)^m}
@@ -80,9 +78,8 @@ \section{Meromorphic functions}
 		+ \dots
 		+ \frac{c_{-1}}{z-p} + c_0 + c_1 (z-p) + \dots
 	\]
-	for all $z$ in some open neighborhood of $p$,
-	other than $z = p$.
-	Here $m$ is a positive integer (and $c_{-m} \neq 0$).
+	for all $z$ in some open neighborhood of $p$, other than $z = p$.
+	Here $m$ is a positive integer, and $c_{-m} \neq 0$.
 \end{definition}
 Note that the trailing end \emph{must} terminate.
 By ``isolated set'', I mean that we can draw