strategy: move traversal proofs inline

[topbloke-formulae.git] / create-tip.tex

diff --git a/create-tip.tex b/create-tip.tex
index 076f866a78424ebbad651657712cc5364ab3f96a..382cd0c69a516e431b51289e421398ac3cb9a33e 100644 (file)
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -1,11 +1,11 @@
 \section{Create Tip}
 
 Given a Topbloke base $B$ for a patch $\pq$,
-create a tip branch initial commit B.
+create a tip branch initial commit $C$.
 \gathbegin
  C \hasparents \{ B \}
 \gathnext
- \patchof{B} = \pqy
+ \patchof{C} = \pqy
 \gathnext
  D \isin C \equiv D \isin B \lor D = C
 \end{gather}
@@ -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$