invariants: introduce bases' children; some of the proofs

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

diff --git a/create-tip.tex b/create-tip.tex
index 382cd0c69a516e431b51289e421398ac3cb9a33e..7dec4cb0d7d81b03adb8eb331934137abbba9ca1 100644 (file)
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -80,3 +80,7 @@ Simple Foreign Inclusion applies.  $\qed$
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Trivial, by Ingredients.
+