chiark / gitweb /
create-base: Add a $\qed$
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:55:21 +0000 (19:55 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 18:55:21 +0000 (19:55 +0100)
create-base.tex

index cc99af8..7983f6b 100644 (file)
@@ -63,4 +63,4 @@ Not applicable.
 \subsection{Bases' Children}
 
 Not applicable, by Ingredients.
-
+$\qed$