From d9c24316d8ab8a4b32392172ffae8e3a0c0f08fe Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpv@andrew.cmu.edu>
Date: Thu, 25 May 2017 13:46:23 -0400
Subject: [PATCH] add serre

---
 algebra/serre.hlean | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 algebra/serre.hlean

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