chiark / gitweb /
create-base: Add a $\qed$
[topbloke-formulae.git] / create-base.tex
index 0b70ee4a33187289503af3c93e95c014b7c9c261..7983f6b9c3bca0c5dce5d7d55077f2c7063a076c 100644 (file)
@@ -56,11 +56,11 @@ Single Parent Unique Tips applies.  $\qed$
 
 Simple Foreign Inclusion applies. $\qed$
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.
 
 \subsection{Bases' Children}
 
 Not applicable, by Ingredients.
-
+$\qed$