From 588087cf4ec7d7c90cb21ac1b3790b86283ba992 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 27 May 2012 23:13:52 +0100 Subject: [PATCH] fixes: correct suitable tips --- merge.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/merge.tex b/merge.tex index 44850a5..6ff5d81 100644 --- 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$ -- 2.30.2