X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=anticommit.tex;h=cbe7998fa684c6e1f49bab615dd8948e00a8632d;hp=a50ed51c2814c7c3257c91bf6dea55a94534051d;hb=ff4ffb2eb74387bab00f6f7536f1037bb9a9f0aa;hpb=35d8920c70badf3ea6556ad6cf53ea96ef6aec0c diff --git a/anticommit.tex b/anticommit.tex index a50ed51..cbe7998 100644 --- a/anticommit.tex +++ b/anticommit.tex @@ -140,7 +140,7 @@ Thus $D \isin C \equiv D \le C$. $\qed$ -\subsection{Foreign Contents} +\subsection{Foreign Ancestry} Not applicable.