From dadda8c3fda2e0a3e12f93df73dd43f1adf4548c Mon Sep 17 00:00:00 2001
From: Tim Hosgood <timhosgood@gmail.com>
Date: Sat, 28 Sep 2024 16:15:28 +0100
Subject: [PATCH] missing space

---
 trees/fga1/fga1-4.tree | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trees/fga1/fga1-4.tree b/trees/fga1/fga1-4.tree
index a7fe8fa..e286cad 100644
--- a/trees/fga1/fga1-4.tree
+++ b/trees/fga1/fga1-4.tree
@@ -201,7 +201,7 @@
       }
       that we define by using the exterior product #{\Omega_X^p\times\Omega_X^{p'}\to\Omega_X^{p+p'}};
       the pairing in the first column is the cup product (relative to the exterior product).
-      I claim that the last line of \ref{fga1-equation-4.5}can be identified with the diagram of isomorphisms analogous to \ref{fga1-equation-4.3}, where #{Y} is replaced by #{Y\cap Y'} and #{p} by #{p+p'}.
+      I claim that the last line of \ref{fga1-equation-4.5} can be identified with the diagram of isomorphisms analogous to \ref{fga1-equation-4.3}, where #{Y} is replaced by #{Y\cap Y'} and #{p} by #{p+p'}.
       For this, it suffices to show that #{\sh{L}\otimes\sh{L}'} is a resolution (evidently locally-free) of #{\OO_{Y\cap Y'}}.
       But then
       ##{