From 67a7a2c22b7dfdcba64adff08c41688fb82857c4 Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Sat, 5 Aug 2023 06:24:24 -0600
Subject: [PATCH] Enderton. Fix up note on theorem ordering.

---
 Bookshelf/Enderton/Set.tex | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Bookshelf/Enderton/Set.tex b/Bookshelf/Enderton/Set.tex
index de721ba..b66d7dc 100644
--- a/Bookshelf/Enderton/Set.tex
+++ b/Bookshelf/Enderton/Set.tex
@@ -6234,9 +6234,7 @@ Show that $<_L$ is a linear ordering on $A \times B$.
 \end{theorem}
 
 \begin{note}
-  Notice this theorem comes after \nameref{sub:theorem-4e}. Enderton introduces
-  this theorem before \nameref{sub:theorem-4e} but its proof relies on
-  \nameref{sub:theorem-4e}.
+  This theorem depends on \nameref{sub:theorem-4e} and \nameref{sub:theorem-4f}.
 \end{note}
 
 \begin{proof}