X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=simple.tex;h=2a2501b29e6355d8046ec1eb08ef8c14eb3574c3;hb=7f5f6024b93005fdd9e81c6cc39934ca57999ea8;hp=297103adf419b066cb5269773de20409c14c0135;hpb=f5f93d74c204fcd773074e61aa4fac1a3e48aa3c;p=topbloke-formulae.git diff --git a/simple.tex b/simple.tex index 297103a..2a2501b 100644 --- a/simple.tex +++ b/simple.tex @@ -103,3 +103,6 @@ Simple Foreign Inclusion applies. $\qed$ Only relevant if $\isforeign{C}$, and in that case Totally Foreign Contents applies. $\qed$ +\subsection{Bases' Children:} + +Trivial.