merge: $\qed$ for Bases' Children

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

diff --git a/create-tip.tex b/create-tip.tex
index 382cd0c69a516e431b51289e421398ac3cb9a33e..143a371bf839fe36d10121588fa4bef340e85027 100644 (file)
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -76,7 +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$