1 files changed, 32 insertions, 0 deletions
diff --git a/library/everything.tex b/library/everything.tex
new file mode 100644
index 0000000..9b85f83
--- /dev/null
+++ b/library/everything.tex
@@ -0,0 +1,32 @@
+\import{set.tex}
+\import{set/cons.tex}
+\import{set/symdiff.tex}
+\import{set/product.tex}
+\import{set/powerset.tex}
+\import{set/bipartition.tex}
+\import{set/partition.tex}
+\import{set/cantor.tex}
+\import{set/filter.tex}
+\import{set/fixpoint.tex}
+\import{relation.tex}
+\import{relation/properties.tex}
+\import{order/quasiorder.tex}
+\import{relation/equivalence.tex}
+\import{relation/closure.tex}
+\import{relation/uniqueness.tex}
+\import{function.tex}
+\import{ordinal.tex}
+%\import{nat.tex}
+\import{cardinal.tex}
+\import{algebra/magma.tex}
+\import{algebra/semigroup.tex}
+\import{order/order.tex}
+%\import{order/semilattice.tex}
+\import{topology/topological-space.tex}
+\import{topology/basis.tex}
+\import{topology/disconnection.tex}
+\import{topology/separation.tex}
+
+\begin{proposition}\label{trivial}
+    $x = x$.
+\end{proposition}