# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1317930957 25200
# Node ID 26cbfb7944f94bd5f2bf1d3df368d6f36880a5f7
# Parent  b04070fc937b8caf6115d776245213bf104def33# Parent  bb48ee2ecf9e7a1af8a0837c4198bb796e7c29b2
Automated merge with https://tqft.net/hg/blob

diff -r bb48ee2ecf9e -r 26cbfb7944f9 text/ncat.tex
--- a/text/ncat.tex	Thu Oct 06 12:27:38 2011 -0700
+++ b/text/ncat.tex	Thu Oct 06 12:55:57 2011 -0700
@@ -820,7 +820,7 @@
 After a small perturbation, we may assume that $q$ is simultaneously transverse to all the splittings in $P$, and
 (by Axiom \ref{axiom:splittings}) that $c$ splits along $q$.
 We can now choose, for each splitting $p$ in $P$, a common refinement $p'$ of $p$ and $q$.
-This constitutes the middle part of $\vcone(P)$.
+This constitutes the middle part ($P\times \{0\}$ above) of $\vcone(P)$.
 \end{proof}