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/Derivations.lean | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 Algebra/Derivations.lean

(limited to 'Algebra/Derivations.lean')

diff --git a/Algebra/Derivations.lean b/Algebra/Derivations.lean
new file mode 100644
index 0000000..e69de29
-- 
cgit v1.3.1