merge: $\qed$ for Bases' Children

[topbloke-formulae.git] / create-tip.tex

diff --git a/create-tip.tex b/create-tip.tex
index 7dec4cb0d7d81b03adb8eb331934137abbba9ca1..143a371bf839fe36d10121588fa4bef340e85027 100644 (file)
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -76,11 +76,11 @@ Single Parent Unique Tips applies.  $\qed$
 
 Simple Foreign Inclusion applies.  $\qed$
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.
 
 \subsection{Bases' Children}
 
 Trivial, by Ingredients.
-
+$\qed$