chiark / gitweb /
Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)
[topbloke-formulae.git] / pseudomerge.tex
index a8ba08a6ebcaf247ac27eb89aa5f5adc658e2dba..27b2e528525bef39cd8a2bfe8556389cac0ff5c7 100644 (file)
@@ -90,7 +90,7 @@ Explicitly dealt with by our Unique Tips condition.
 
 True by Foreign Identical, and Foreign Inclusion of $L$.
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.