chiark / gitweb /
clarify proof of calculation of ends
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 26 Mar 2012 00:19:13 +0000 (01:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 26 Mar 2012 00:19:13 +0000 (01:19 +0100)
lemmas.tex

index 41ea1c8..8509c89 100644 (file)
@@ -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$.
 }