chiark / gitweb /
create-base: Add a $\qed$
[topbloke-formulae.git] / create-base.tex
index cc99af8e489d3e65db8264d5f55e01026684c668..7983f6b9c3bca0c5dce5d7d55077f2c7063a076c 100644 (file)
@@ -63,4 +63,4 @@ Not applicable.
 \subsection{Bases' Children}
 
 Not applicable, by Ingredients.
-
+$\qed$