chiark / gitweb /
notation: fixes from annotations
[topbloke-formulae.git] / create-tip.tex
index 3e88760..382cd0c 100644 (file)
@@ -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$