wip traversal

[topbloke-formulae.git] / trav-proofs.tex

diff --git a/trav-proofs.tex b/trav-proofs.tex
index b451a6175d0c1d9b4e06cba476f9f76f263972e4..a9ed5cd30a428f45ec78706534ce86b77ceeb425 100644 (file)
--- a/trav-proofs.tex
+++ b/trav-proofs.tex
@@ -15,6 +15,10 @@ TODO COMPLETE MERGE-BASE STUFF
 
 WIP WHAT ABOUT PROVING ALL THE TRAVERSAL RESULTS
 
+\subsection{Recreate Base Beginning}
+
+
+
 \subsection{Tip Base Merge}
 
 $L = W$, $R = \tipcn$.