chiark / gitweb /
Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)
[topbloke-formulae.git] / create-tip.tex
index 7dec4cb0d7d81b03adb8eb331934137abbba9ca1..57e9b4c9f54c3ba39bede6bf4cb47caaf2d751d1 100644 (file)
@@ -76,7 +76,7 @@ Single Parent Unique Tips applies.  $\qed$
 
 Simple Foreign Inclusion applies.  $\qed$
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.