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 56198210808a9552089ec5fc7fefe7b4409d5c59..f8acb2260ffcf7898dd228718269b1efe9f40447 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}