From b00c95bd3580a8a8bd779f57a034900140ce41fa Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Wed, 3 Dec 2025 21:45:09 +0100
Subject: more cleanup

---
 Algebra.lean | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Algebra.lean')

diff --git a/Algebra.lean b/Algebra.lean
index 73c5f4e..26109ba 100644
--- a/Algebra.lean
+++ b/Algebra.lean
@@ -1 +1,2 @@
-import Algebra.Term
+import Algebra.Terms
+import Algebra.Derivations
-- 
cgit v1.3.1