From 81f741ff661fc6cd6954085fb2489ad9dc5cf257 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 10 Aug 2013 20:23:00 +0100 Subject: [PATCH] pseudomerge: add some $\qed$s --- pseudomerge.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pseudomerge.tex b/pseudomerge.tex index b4022da..7ee7ffb 100644 --- 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$ -- 2.30.2