From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 26 Mar 2012 00:19:13 +0000 (+0100)
Subject: clarify proof of calculation of ends
X-Git-Tag: f0.3~5
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=3a8cce8e2c30335e973bcaa8b98a7d8238bdaacb

clarify proof of calculation of ends
---

diff --git a/lemmas.tex b/lemmas.tex
index 41ea1c8..8509c89 100644
--- a/lemmas.tex
+++ b/lemmas.tex
@@ -121,7 +121,7 @@ So $\pendsof{C}{\set P} \subset \bigcup_{E \in \set E} \pendsof{E}{\set P}$.
 Consider some $E \in \pendsof{A}{\set P}$.  If $\exists_{B,F}$ as
 specified, then either $F$ is going to be in our result and
 disqualifies $E$, or there is some other $F'$ (or, eventually,
-an $F''$) which disqualifies $F$.
+an $F''$) which disqualifies $F$ and $E$.
 Otherwise, $E$ meets all the conditions for $\pends$.
 }