diff --git a/CommAlg.lean b/CommAlg.lean
index e99d3a6..6d1a3cc 100644
--- a/CommAlg.lean
+++ b/CommAlg.lean
@@ -1 +1,3 @@
+import Mathlib
+
 def hello := "world"
\ No newline at end of file