chiark / gitweb /
wip merge
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 17:50:03 +0000 (17:50 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 5 Mar 2012 17:50:03 +0000 (17:50 +0000)
article.tex

index 5619821..f8acb22 100644 (file)
@@ -414,9 +414,10 @@ Thus $A \le C \equiv A \le \baseof{R}$.  Ie, $\baseof{C} =
 
 \subsubsection{For $R \in \pn$:}
 
-UP TO HERE
+By Tip Merge condition on $R$,
+$A \le \baseof{L} \implies A \le R$
 
-By Tip Merge condition on $A \le $
+UP TO HERE
 
 Let $S =
    \begin{cases}