chiark
/
gitweb
/
~ian
/
topbloke-formulae.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
aeaa22a
)
rename merge Ordering of L... to Ordering of Ingredients
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 13:56:55 +0000
(13:56 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 13:56:55 +0000
(13:56 +0000)
article.tex
patch
|
blob
|
history
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$.