1 files changed, 6 insertions, 1 deletions
diff --git a/library/everything.tex b/library/everything.tex
index f4eb62a..c7d2e64 100644
--- a/library/everything.tex
+++ b/library/everything.tex
@@ -21,8 +21,10 @@
 \import{algebra/magma.tex}
 \import{algebra/semigroup.tex}
 \import{algebra/monoid.tex}
+\import{algebra/quasigroup.tex}
+\import{algebra/loop.tex}
 \import{order/order.tex}
-%\import{order/semilattice.tex}
+\import{order/semilattice.tex}
 \import{topology/topological-space.tex}
 \import{topology/basis.tex}
 \import{topology/disconnection.tex}
@@ -31,3 +33,6 @@
 \begin{proposition}\label{trivial}
     $\emptyset = \emptyset$.
 \end{proposition}
+\begin{proof}
+    Follows by \cref{emptyset}.
+\end{proof}