From fc37344614e375ae7c9d3f2a40a02327836867c7 Mon Sep 17 00:00:00 2001
From: monula95 dutta <monula95@gmail.com>
Date: Sat, 10 Jun 2023 00:13:24 +0000
Subject: [PATCH] my great change

---
 CommAlg.lean | 2 ++
 1 file changed, 2 insertions(+)

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