chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fixes: correct suitable tips
[topbloke-formulae.git]
/
merge.tex
diff --git
a/merge.tex
b/merge.tex
index 44850a5e9ca19ac30ae570bc90149e788707dac7..6ff5d81e51d67193858caf678fa0a1185a60c7fd 100644
(file)
--- a/
merge.tex
+++ b/
merge.tex
@@
-273,7
+273,7
@@
For $L \in \py$, trivially $\pendsof{C}{\py} = C$ so $T = C$ is
suitable.
For $L \not\in \py$, $\pancsof{C}{\py} = \pancsof{L}{\py} \cup
-\pancsof{R}{\py}$. So $T$ from Suitable Tip is a suitable $T$ for
+\pancsof{R}{\py}$. So $T$ from Suitable Tip
s
is a suitable $T$ for
Unique Tips.
$\qed$