chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
rename merge Ordering of L... to Ordering of Ingredients
[topbloke-formulae.git]
/
article.tex
diff --git
a/article.tex
b/article.tex
index f20957d3087141ae4bb4ed21bd7ea5b92f0ddf83..73453122e8a9dd7bf549c2df7a6f26edb44a85c5 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-567,7
+567,7
@@
R^+ \in \pry \land R^- = \baseof{R^+}
L \haspatch \pry
}\]
-\subsection{Ordering of
${L, R^+, R^-}$
:}
+\subsection{Ordering of
Ingredients
:}
By Unique Tip, $R^+ \le L$. By definition of $\base$, $R^- \le R^+$
so $R^- \le L$. So $R^+ \le C$ and $R^- \le C$.