chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
843e4f5
)
wip exclusive haspatch - fix Create Tip
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:34:38 +0000
(18:34 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Wed, 21 Mar 2012 18:34:38 +0000
(18:34 +0000)
create-tip.tex
patch
|
blob
|
history
diff --git
a/create-tip.tex
b/create-tip.tex
index e5af4dd4cd4304b3f64fe33cba2fbbd1cececf9e..076f866a78424ebbad651657712cc5364ab3f96a 100644
(file)
--- a/
create-tip.tex
+++ b/
create-tip.tex
@@
-57,7
+57,9
@@
$$
\subsubsection{For $\p = \pq$:}
By Base Acyclic, $D \not\isin B$. So $D \isin C \equiv D = C$.
-By No Sneak, $D \not\le B$ so $D \le C \equiv D = C$. Thus $C \haspatch \pq$.
+By No Sneak, $D \not\le B$ so $D \le C \equiv D = C$. Thus $C \zhaspatch \pq$.
+And we can set $F = C$ giving $F \in \pqy \land F \le C$ so $C
+\haspatch \pq$.
\subsubsection{For $\p \neq \pq$:}