chiark / gitweb /
pseudomerge: add some $\qed$s
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000 (20:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000 (20:23 +0100)
pseudomerge.tex

index b4022da..7ee7ffb 100644 (file)
@@ -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$