diff --git a/algebra/serre.hlean b/algebra/serre.hlean
new file mode 100644
index 0000000..a81ce06
--- /dev/null
+++ b/algebra/serre.hlean
@@ -0,0 +1,11 @@
+/- The serre spectral sequence -/
+
+-- Author: Floris van Doorn
+
+import .module_exact_couple
+
+namespace left_module
+
+
+
+end left_module