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:
117c31e
)
pseudomerge: add some $\qed$s
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000
(20:23 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000
(20:23 +0100)
pseudomerge.tex
patch
|
blob
|
history
diff --git
a/pseudomerge.tex
b/pseudomerge.tex
index b4022da86f6311b91e27b7faaea1e0cff43d2019..7ee7ffbbdc25e2c1140983173f4f0b8ddb5aca52 100644
(file)
--- a/
pseudomerge.tex
+++ b/
pseudomerge.tex
@@
-57,11
+57,11
@@
$A = L$ always satisfies the $\exists$. $\qed$
\subsection{Unique Base}
-Not applicable, by Base Only.
+Not applicable, by Base Only.
$\qed$
\subsection{Tip Contents}
-Not applicable, by Base Only.
+Not applicable, by Base Only.
$\qed$
\subsection{Base Acyclic}
@@
-117,3
+117,5
@@
For $D = R \in \set R, R \in \foreign$, or $R \in \pqy$: $D \not\in
\pdn$ so Bases' Children does not apply.
Other possibilities for $D \in \set R$ are excluded by Ingredients.
+
+$\qed$