From 37f7c86a7591da1233cdf1d293bf851f43c65ba1 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Wed, 15 Apr 2026 15:17:13 +0200
Subject: move wip

---
 Algebra.lean | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 Algebra.lean

(limited to 'Algebra.lean')

diff --git a/Algebra.lean b/Algebra.lean
deleted file mode 100644
index 26109ba..0000000
--- a/Algebra.lean
+++ /dev/null
@@ -1,2 +0,0 @@
-import Algebra.Terms
-import Algebra.Derivations
-- 
cgit v1.3.1