chiark / gitweb /
fixes: correct suitable tips
[topbloke-formulae.git] / 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 Tips is a suitable $T$ for
 Unique Tips.
 
 $\qed$