wip merge

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index 56198210808a9552089ec5fc7fefe7b4409d5c59..f8acb2260ffcf7898dd228718269b1efe9f40447 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -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}