From aa280ca672aff145e811b79f4315ba200a09bad5 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Fri, 5 Dec 2025 23:19:57 +0100
Subject: define algebras

---
 Algebra/Derivations.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Algebra/Derivations.lean')

diff --git a/Algebra/Derivations.lean b/Algebra/Derivations.lean
index 142c49c..e2cd052 100644
--- a/Algebra/Derivations.lean
+++ b/Algebra/Derivations.lean
@@ -1,7 +1,7 @@
 import Mathlib
 import Algebra.Terms
 
-namespace Algebra
+namespace NominalAlgebra
 
 section Theories
 
@@ -237,4 +237,4 @@ instance TermAtDepth.setoid : Setoid (TermAtDepth 𝔸 T.sig X n) where
 
 end DerivableEquations
 
-end Algebra
+end NominalAlgebra
-- 
cgit v1.3.1