pseudomerge: Bases' Children

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 49931279917b36872d16a2f179788458ee4a7d17..a50ed51c2814c7c3257c91bf6dea55a94534051d 100644 (file)
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -144,3 +144,7 @@ $\qed$
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Trivial.
+