X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;h=382cd0c69a516e431b51289e421398ac3cb9a33e;hp=3e8876021c23c08b0d46c5b7a86d8378a428c38a;hb=815e77b8814aa78d2af65676cc7e87449e1b6e7f;hpb=3bf452b2a0f1c9a3ba22d011fb216c738e1b299f diff --git a/create-tip.tex b/create-tip.tex index 3e88760..382cd0c 100644 --- a/create-tip.tex +++ b/create-tip.tex @@ -68,6 +68,10 @@ and $D \le C \equiv D \le B$. $\qed$ +\subsection{Unique Tips:} + +Single Parent Unique Tips applies. $\qed$ + \subsection{Foreign Inclusion} Simple Foreign Inclusion applies. $\qed$