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:
bfa0996
)
simple commit unique base clarification
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 15:52:47 +0000
(15:52 +0000)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 15:52:47 +0000
(15:52 +0000)
article.tex
patch
|
blob
|
history
diff --git
a/article.tex
b/article.tex
index 70d6d88200ffa76188a4e3fb553043e4094288a2..e6447d92380b854b40c0c1bf9d61825564f79a4d 100644
(file)
--- a/
article.tex
+++ b/
article.tex
@@
-369,7
+369,10
@@
Topbloke strips the metadata when exporting.
Trivial.
\subsection{Unique Base}
-If $A, C \in \py$ then $\baseof{C} = \baseof{A}$. $\qed$
+If $A, C \in \py$ then by Calculation of Ends for
+$C, \py, C \not\in \py$:
+$\pendsof{C}{\pn} = \pendsof{A}{\pn}$ so
+$\baseof{C} = \baseof{A}$. $\qed$
\subsection{Tip Contents}
We need to consider only $A, C \in \py$. From Tip Contents for $A$: