From: Ian Jackson Date: Sun, 4 Mar 2012 20:55:43 +0000 (+0000) Subject: heading for other side X-Git-Tag: f0.2~160 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=commitdiff_plain;h=362b3c69c550fed1b39572bcdda98248fbeb3842 heading for other side --- diff --git a/article.tex b/article.tex index c705f61..4e114f2 100644 --- a/article.tex +++ b/article.tex @@ -412,6 +412,8 @@ $A \le \baseof{R} \lor A \le \baseof{L} \equiv A \le \baseof{R}$. Thus $A \le C \equiv A \le \baseof{R}$. Ie, $\baseof{C} = \baseof{R}$. +\subsubsection{For $R \in \pn$:} + UP TO HERE By Tip Merge, $A \le $