From a4d47837ab67a12d0fb2b51219e1f1105c14c043 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpv@andrew.cmu.edu>
Date: Wed, 12 Dec 2018 23:58:10 -0500
Subject: [PATCH] small change in notes/smash

---
 Notes/smash.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Notes/smash.tex b/Notes/smash.tex
index 4d3e3d2..a5cd150 100644
--- a/Notes/smash.tex
+++ b/Notes/smash.tex
@@ -1121,7 +1121,7 @@ Using \autoref{lem:yoneda} (Yoneda) we can prove associativity, left- and right
 		& (A \to B \to C \to X)
 	\end{tikzcd}
 	\end{center}
-	where the square on the top right is by \autoref{lem:composition-pointed}, the square on the bottom right is naturality of $\twist$. The commutativity of the pentagon on the left is TODO (it is a diagram of a 1-coherent symmetric closed category).
+	The square in the top right is by \autoref{lem:composition-pointed}, the square on the bottom right is naturality of $\twist$. The commutativity of the pentagon on the left is TODO (it is a diagram of a 1-coherent symmetric closed category).
 \end{proof}