diff --git a/algebra/graded.hlean b/algebra/graded.hlean
new file mode 100644
index 0000000..36f84cf
--- /dev/null
+++ b/algebra/graded.hlean
@@ -0,0 +1,7 @@
+/-
+Copyright (c) 2016 Egbert Rijke. All rights reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Authors: Egbert Rijke
+
+Graded modules and rings.
+-/