From 27ff9d5b7a21ae54aed1c7a23a23723903ab2fa9 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Wed, 15 Apr 2026 15:17:51 +0200
Subject: Revert "move wip"

This reverts commit 37f7c86a7591da1233cdf1d293bf851f43c65ba1.
---
 Algebra.lean | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Algebra.lean

(limited to 'Algebra.lean')

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